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" />
15 <RunnerSettings RunnerId="Debug">
16 <option name="DEBUG_PORT" value="" />
17 <option name="TRANSPORT" value="0" />
18 <option name="LOCAL" value="true" />
20 <RunnerSettings RunnerId="Run" />
21 <ConfigurationWrapper RunnerId="Debug" />
22 <ConfigurationWrapper RunnerId="Run" />