2022-11-10 08:08:47 -08:00
|
|
|
<component name="ProjectRunConfigurationManager">
|
|
|
|
|
<configuration default="false" name="run-tests (wasi)" type="JUnit" factoryName="JUnit">
|
2023-01-03 06:29:13 -08:00
|
|
|
<module name="teavm.tests.test" />
|
2022-11-10 08:08:47 -08:00
|
|
|
<extension name="coverage">
|
|
|
|
|
<pattern>
|
|
|
|
|
<option name="PATTERN" value="org.teavm.*" />
|
|
|
|
|
<option name="ENABLED" value="true" />
|
|
|
|
|
</pattern>
|
|
|
|
|
</extension>
|
|
|
|
|
<option name="PACKAGE_NAME" value="org.teavm" />
|
|
|
|
|
<option name="MAIN_CLASS_NAME" value="" />
|
|
|
|
|
<option name="METHOD_NAME" value="" />
|
|
|
|
|
<option name="TEST_OBJECT" value="package" />
|
|
|
|
|
<option name="VM_PARAMETERS" value="-ea -Dteavm.junit.target=target/wasi-tests -Dteavm.junit.threads=3 -Dteavm.junit.minified=false -Dteavm.junit.optimized=false -Dteavm.junit.wasi.runner=./run-wasi.sh -Dteavm.junit.wasi=true -Dteavm.junit.js=false" />
|
|
|
|
|
<option name="PARAMETERS" value="" />
|
|
|
|
|
<option name="WORKING_DIRECTORY" value="$MODULE_DIR$" />
|
|
|
|
|
<dir value="$USER_HOME$/idea-debug/teavm/tests/src/test/java" />
|
|
|
|
|
<method v="2">
|
|
|
|
|
<option name="Make" enabled="true" />
|
|
|
|
|
</method>
|
|
|
|
|
</configuration>
|
|
|
|
|
</component>
|
