如何在netbeans中运行JPF。

Question

我已完成以下所述的所有步骤

1. 下载并安装jpf-core，例如来自Mercurial存储库
2. --------------休息一下---------------
3. 从此处下载gov-nasa-jpf-netbeans-runjpf.nbm文件。
4. 从Netbeans内部转到工具 - ＆gt;插件（ Alt + T 后跟 Alt + g ）
5. 选择已下载标签
6. 点击添加插件...（ Alt + A ）
7. 选择在步骤3中下载的gov-nasa-jpf-netbeans-runjpf.nbm文件
8. 选择安装
9. 同意许可协议
10. 重新启动Netbeans

现在我要做什么来运行项目？

Answer 1

有关后续步骤，请参阅此官方文档。

https://github.com/javapathfinder/jpf-core/wiki/Run-JPF-with-NetBeans-plugin

Answer 2

1. Install netbeans-jpf (see: Installing the NetBeans JPF plugin)
2. Make sure the correct site.properties file is being used for JPF (The default is usually correct)
3. To see which site.properties file is being used:
4. From the NetBeans top menu go to "Tools"->"Options" (Alt+T followed by Alt+O)
5. Select "Miscellaneous" from the top of the Options Window
6. Select the "Java Pathfinder" tab
7. Make sure that "Path to site.properties" is defined properly, uncheck "Use default site.properties location" to change the path
8. From either the "Projects" or "Files" view (on the left of the main NetBeans screen by default,) select the JPF properties file (i.e., a file with a .jpf extension) you would like to run. Right click on this file and select the "Verify..." menu item to run JPF.
9. To view the results, make sure that the "Output" View is open (On the bottom of the main NetBeans screen by default)