.idea/runConfigurations/run_example_jpf.xml

   1 <component name="ProjectRunConfigurationManager">
   2   <configuration default="false" name="run-example-jpf" type="ContextRunConfiguration" factoryName="ContextRun">
   3     <extension name="coverage" enabled="false" merge="false" sample_coverage="true" runner="idea" />
   4     <option name="MAIN_CLASS_NAME" value="gov.nasa.jpf.JPF" />
   5     <option name="VM_PARAMETERS" value="-Xmx1024m -ea" />
   6     <option name="PROGRAM_PARAMETERS" value="$FilePath$" />
   7     <option name="WORKING_DIRECTORY" value="" />
   8     <option name="ALTERNATIVE_JRE_PATH_ENABLED" value="false" />
   9     <option name="ALTERNATIVE_JRE_PATH" value="" />
  10     <option name="ENABLE_SWING_INSPECTOR" value="false" />
  11     <option name="ENV_VARIABLES" />
  12     <option name="PASS_PARENT_ENVS" value="true" />
  13     <module name="examples" />
  14     <envs />
  15     <RunnerSettings RunnerId="Debug">
  16       <option name="DEBUG_PORT" value="" />
  17       <option name="TRANSPORT" value="0" />
  18       <option name="LOCAL" value="true" />
  19     </RunnerSettings>
  20     <RunnerSettings RunnerId="Run" />
  21     <ConfigurationWrapper RunnerId="Debug" />
  22     <ConfigurationWrapper RunnerId="Run" />
  23     <method />
  24   </configuration>
  25 </component>