我下载了 NuSMV 二进制文件（MacOSX Darwin (x86) 64 位）。
解压后，我前往终端的 bin 文件夹。
我尝试了命令 NuSMV -int，但出现错误：-bash: NuSMV: command not found
我试图临时更改路径：PATH=$PATH:/Users/buzz/Desktop/Hunter/NuSMV/bin echo $PATH
当我回声时，我看到路径就在那里。我再试一次，同样的错误。
如果我手动打开 bin 中标记为 NuSMV 的文件，它会中止：
输入文件为（空）。您必须先设置输入文件。
中止批处理模式
NuSMV 由信号终止
如何让 NuSMV 命令在终端中工作？
谢谢