Skip to content

Commit c843c79

Browse files
DaveCTurnerDaveCTurner
committed
Rename model to 'model' and remove generated files
1 parent 0b46bb7 commit c843c79

File tree

3 files changed

+1
-41
lines changed

3 files changed

+1
-41
lines changed

‎ReplicaEngine/tla/ReplicaEngine.toolbox/ReplicaEngine.tla.pmap‎

-59.6 KB
Binary file not shown.

‎ReplicaEngine/tla/ReplicaEngine.toolbox/ReplicaEngine/MC.cfg‎

Lines changed: 0 additions & 40 deletions
This file was deleted.

‎ReplicaEngine/tla/ReplicaEngine.toolbox/ReplicaEngine___ReplicaEngine.launch‎ renamed to ‎ReplicaEngine/tla/ReplicaEngine.toolbox/ReplicaEngine___model.launch‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,7 +1,7 @@
11
<?xml version="1.0" encoding="UTF-8" standalone="no"?>
22
<launchConfiguration type="org.lamport.tla.toolbox.tool.tlc.modelCheck">
33
<stringAttribute key="TLCCmdLineParameters" value=""/>
4-
<stringAttribute key="configurationName" value="ReplicaEngine"/>
4+
<stringAttribute key="configurationName" value="model"/>
55
<intAttribute key="dfidDepth" value="100"/>
66
<booleanAttribute key="dfidMode" value="false"/>
77
<intAttribute key="distributedFPSetCount" value="0"/>

0 commit comments

Comments
 (0)