Как запустить JPF в netbeans.?

Question

Я выполнил все шаги, указанные ниже

1. Загрузите и установите jpf-core, например, из репозитория Mercurial
2. -------------- сделать перерыв ---------------
3. Загрузите файл gov-nasa-jpf-netbeans-runjpf.nbm здесь.
4. Из Netbeans перейдите в Инструменты-> Плагины (Alt+T, а затем Alt+g)
5. Выберите вкладку "Загруженные"
6. Нажмите на Добавить плагины... (Alt+A)
7. Выберите файл gov-nasa-jpf-netbeans-runjpf.nbm, который был загружен на шаге 3
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)