.idea/runConfigurations/run_test.xml

   1 <component name="ProjectRunConfigurationManager">
   2   <configuration default="false" name="run-test" 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.tool.RunTest" />
   5     <option name="VM_PARAMETERS" value="-Xmx1024m -ea" />
   6     <option name="PROGRAM_PARAMETERS" value="$FileClass$ $SelectedText$" />
   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="tests" />
  14     <envs />
  15     <RunnerSettings RunnerId="Run" />
  16     <ConfigurationWrapper RunnerId="Run" />
  17     <method />
  18   </configuration>
  19 </component>