0
我在ubuntu機器上安裝了NuSMV 2.5.4。當我使用命令NuSMV -int first.smv以交互模式運行它時，我得到以下響應無法打開輸入文件first.smv。這是爲什麼？我已將我的smv文件（first.smv）放入bin文件夾中。如何在NuSMV上運行我的smv文件
A
回答
1
你first.smv應該是你運行該命令的文件夾中，而不是在bin文件夾
相關問題
- 1. 如何從記事本++執行.smv文件
- 2. 在eclipse中解析smv文件
- 3. 在我的域上運行nodejs文件
- 4. 如何在CruiseControl上運行exe文件
- 5. 如何在unix上運行.jar文件？
- 6. 如何在mac上運行REXX文件？
- 7. 如何在mac上運行asm文件？
- 8. 如何在mac上運行jar文件
- 9. 如何在IIS上運行.jar文件
- 10. 如何在* .js.erb文件上運行eslint？
- 11. 如何在unix上找到我的運行jar文件路徑？
- 12. 如何在我的電腦上運行php文件
- 13. Ctrl-F11運行當前文件。我如何運行「主」文件？
- 14. 當我在WAMP上運行命令行時運行php文件
- 15. 我該如何在OS X上運行.mm文件？
- 16. 如何在文本文件中逐行運行 - 在Windows Mobile上？
- 17. 如何遠程運行我的Mac上的PHP文件？
- 18. 如何在Windows上運行在Mac上創建的.class文件？
- 19. 如何知道我的shell正在運行我的init文件？
- 20. 如何從服務器上運行我的exe文件？
- 21. 上下文如何在Android上運行？
- 22. perl在文件上運行
- 23. 如何在VNC嚴格查看器上運行我的可執行文件？
- 24. 如何在cloudControl PaaS上的本地文件上運行cronjob？
- 25. 如何在Docker上運行WebSphere上的特定配置文件？
- 26. 如何在數百個文件上運行'格式文件'？
- 27. 如何在A7上運行.xls文件並生成.csv文件？
- 28. 如何在Raspbian的python上運行可執行文件？
- 29. 如何運行在OS X上的可執行文件
- 30. 我不能在Windows Vista上運行我的JAR文件