0

我试图在 Visual Studio 中以交互方式运行 nuXmv 程序，但总是收到错误

“nuXmv：‘nuXmv’一词未被识别为 cmdlet、函数、脚本文件或可运行程序的名称。”

从互联网上安装 nuXmv 文件后，我应该尝试做些什么来将其移动到正确的文件夹路径？

我通常输入 nuXmv -int NAME.smv

谢谢！

4

0 回答 0