Find centralized, trusted content and collaborate around the technologies you use most.
Teams
Q&A for work
Connect and share knowledge within a single location that is structured and easy to search.
我正在尝试在 Mac 上运行 NuSMV，我可以正常运行它，但是当我需要使用交互模式时，-int 选项会出错 - 命令行选项“–int”是未知的。
有没有其他人有这个问题？