Commit f72e3af9 authored by Kirill Smelkov's avatar Kirill Smelkov

.

parent ed1bdd4b
......@@ -5,13 +5,13 @@
<stringAttribute key="distributedNetworkInterface" value="192.168.122.1"/>
<intAttribute key="distributedNodesCount" value="1"/>
<stringAttribute key="distributedTLC" value="off"/>
<intAttribute key="fpIndex" value="3"/>
<intAttribute key="fpIndex" value="0"/>
<intAttribute key="maxHeapSize" value="25"/>
<stringAttribute key="modelBehaviorInit" value=""/>
<stringAttribute key="modelBehaviorNext" value=""/>
<stringAttribute key="modelBehaviorSpec" value=""/>
<intAttribute key="modelBehaviorSpecType" value="0"/>
<stringAttribute key="modelBehaviorVars" value=""/>
<stringAttribute key="modelBehaviorVars" value="msgs, depth, parent"/>
<stringAttribute key="modelComments" value=""/>
<booleanAttribute key="modelCorrectnessCheckDeadlock" value="true"/>
<listAttribute key="modelCorrectnessInvariants"/>
......@@ -22,6 +22,8 @@
<listEntry value="root;;n1;0;0"/>
<listEntry value="Edges;;{{n1,n2}, {n2,n3}};0;0"/>
<listEntry value="Nodes;;{n1, n2, n3};1;0"/>
<listEntry value="NoRoute;;NoRoute;1;0"/>
<listEntry value="Inf;;Inf;1;0"/>
</listAttribute>
<intAttribute key="modelVersion" value="20191005"/>
<intAttribute key="numberOfWorkers" value="2"/>
......
Markdown is supported
0%
or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment