如果你遇到了一个窃听器,我们将非常感谢你能报告该问题最好使用nuXmv错误跟踪系统,或通过电子邮件。

缺陷报告应包括:

  1. 对已识别问题的简要描述
  2. 所有需要的信息使我们能够复制它
    • 输入文件
    • 命令序列
  3. 任何进一步有用的信息,例如预期行为。

要提交错误报告或功能请求:

(如果出现登录屏幕,请单击“匿名登录”。)