Skip to content

Run JPF using Eclipse

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

Running JPF within eclipse

To run JPF in eclipse after building

  • JPF click "Run"-->"Run" or click "Play"-->"Run As Dialog".

  • Select Java Application and click "New".

  • Click on the "Main" tab. Ensure the project selected is jpf-core and the in the Main Class pick gov.nasa.jpf.JPF.

  • Click on the "Arguments" tab. Specify the <application-main-class> in the Program Arguments. Any additional configuration properties can be specified. For example,

+cg.randomize_choices=true
oldclassic
  • Click on "Run" to verify the application in JPF. The output of the program and the results will be displayed on the eclipse console window.

Alternatively you pick the run-jpf-core launch configuration and add the <application-main-class> of the system under test. The eclipse IDE detects the various launch configurations. When you click on the Run button they appear on the left column, pick "run-jpf-core". It is, however, recommended you run the application with the eclipse plugin for better performance and ease of usability.

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