Simplify always MutualExclusion

I don't need to take stuttering into account for a temporal property.
changlinli · Jul 25, 2019 · d77040c · d77040c
1 parent 54fc6fb
commit d77040c
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/Peterson.toolbox/Peterson___model.launch b/Peterson.toolbox/Peterson___model.launch
@@ -27,6 +27,7 @@
 </listAttribute>
 <listAttribute key="modelCorrectnessProperties">
 <listEntry value="1WillEventuallyEnterCritical"/>
+<listEntry value="1[]MutualExclusion"/>
 </listAttribute>
 <stringAttribute key="modelExpressionEval" value=""/>
 <stringAttribute key="modelParameterActionConstraint" value=""/>