Skip to content

Run JPF using eclipse jpf

Jump to bottom
Alexander Kohan edited this page Feb 2, 2023 · 3 revisions

Running JPF from within Eclipse using eclipse-jpf

eclipse-jpf can be easily configured to run JPF from within Eclipse

  1. Install eclipse-jpf (see Installing Eclipse JPF plugin)
  2. Make sure that the correct site.properties file is being used for JPF (The default is usually correct) To see which site.properties file is being used:
  3. From the Eclipse top menu go to Window->Preferences
  4. Select JPF Preferences
  5. Make sure that "Path to site.properties" is defined properly.
  6. From either the Package Explorer view (On the left of the main Eclipse screen by default) right-click on the *.jpf with the JPF configuration wanted and select Verify...
  7. Make sure that the Console view (Usually at the bottom of the main Eclipse screen) is opened to view the results from JPF

Want to contribute to this Wiki?

Please contact us by creating an issue. We are trying to fix the process below, which no longer works.

Fork it and send a pull request.

Clone this wiki locally