11 lines
No EOL
584 B
XML
11 lines
No EOL
584 B
XML
<component name="ProjectRunConfigurationManager">
|
|
<configuration default="false" name="SimpleProgram ch8" type="TLCRunConfiguration" factoryName="TLC" folderName="Lamport/8.2 SimpleProgram TF">
|
|
<option name="file" value="$PROJECT_DIR$/lamport_video/specs/SimpleProgram_ch8.tla" />
|
|
<option name="jvmOptions" value="-XX:+UseParallelGC" />
|
|
<option name="tlcArguments" />
|
|
<option name="workingDirectory" value="$PROJECT_DIR$/lamport_video/specs" />
|
|
<method v="2">
|
|
<option name="TLC.BeforeRunTask" enabled="true" />
|
|
</method>
|
|
</configuration>
|
|
</component> |