如何在 netbeans 中运行 JPF。？

Question

我已完成以下所有步骤

下载并安装jpf-core，例如来自 Mercurial 存储库
----------------休息一下----------------
从这里下载 gov-nasa-jpf-netbeans-runjpf.nbm 文件。
从 Netbeans 中转到工具 -> 插件（Alt+T 然后是 Alt+g)
Select 已下载选项卡
点击添加插件... (Alt+A)
Select 在第 3 步中下载的 gov-nasa-jpf-netbeans-runjpf.nbm 文件
Select 安装
同意许可协议
重启 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)

如何在 netbeans 中 运行 JPF。？

How to run JPF in netbeans.?

java

jpf

如何在 netbeans 中运行 JPF。？