doc/user/run_eclipse.md

   1 ## Running JPF within eclipse ##
   2
   3 To run JPF in eclipse after building
   4
   5 * JPF click "Run"-->"Run" or click "Play"-->"Run As Dialog".
   6
   7 * Select Java Application and click "New".
   8
   9 * Click on the "Main" tab. Ensure the project selected is jpf-core and the in the Main Class pick `gov.nasa.jpf.JPF`.
  10
  11 * Click on the "Arguments" tab. Specify the `<application-main-class>` in the Program Arguments. Any additional configuration properties can be specified. For example,
  12
  13 ~~~~~~~~ {.bash}
  14 +cg.randomize_choices=true
  15 oldclassic
  16 ~~~~~~~~
  17
  18 * 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.
  19
  20 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.