Mercurial > hg > Members > kono > jpf-core

view .idea/runConfigurations/run_test.xml @ 34:49be04cc6389 default tip java9-try

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
cyclic dependency ...
author Shinji KONO <kono@ie.u-ryukyu.ac.jp>
date Tue, 19 Dec 2017 11:21:23 +0900
parents 08ca336d5928
children
line wrap: on
line source

<component name="ProjectRunConfigurationManager">
  <configuration default="false" name="run-test" type="ContextRunConfiguration" factoryName="ContextRun">
    <extension name="coverage" enabled="false" merge="false" sample_coverage="true" runner="idea" />
    <option name="MAIN_CLASS_NAME" value="gov.nasa.jpf.tool.RunTest" />
    <option name="VM_PARAMETERS" value="-Xmx1024m -ea" />
    <option name="PROGRAM_PARAMETERS" value="$FileClass$ $SelectedText$" />
    <option name="WORKING_DIRECTORY" value="" />
    <option name="ALTERNATIVE_JRE_PATH_ENABLED" value="false" />
    <option name="ALTERNATIVE_JRE_PATH" value="" />
    <option name="ENABLE_SWING_INSPECTOR" value="false" />
    <option name="ENV_VARIABLES" />
    <option name="PASS_PARENT_ENVS" value="true" />
    <module name="tests" />
    <envs />
    <RunnerSettings RunnerId="Run" />
    <ConfigurationWrapper RunnerId="Run" />
    <method />
  </configuration>
</component>