command-line - 未找到 Mac 上的 NuSMV -int 命令选项
问题描述
我正在尝试在 Mac 上运行 NuSMV,我可以正常运行它,但是当我需要使用交互模式时,-int 选项会出错 - 命令行选项“–int”是未知的。
有没有其他人有这个问题?
解决方案
推荐阅读
- java - 具有类返回类型的方法
- android - 谷歌成就解锁但不保存
- verilog - If 语句中的 verilog 错误。(reg) 不是常数。目标
并发分配或输出端口连接应该是网络类型 - java - 如果 Spring Data JPA 中的参数为空,则忽略条件
- javascript - 当所有人断开连接时如何删除语音通道?
- docker - 尝试 Dockerize ASP.NET Core 5.0 应用程序时出现错误 NU1202
- windows - Bitdefender Blocking Go v1.17.2 Windows 程序
- python - 如何让 EasyOCR 返回 0 或空字符串
- r - 将默认 NA 从逻辑更改为字符
- azure-pipelines - GitHub Actions 是否具有与 Azure Pipeline 的自定义内部版本号语法等效的概念?