Merge pull request #134 from discipl/modelchecker-errors

Modelchecker errors
discipl · May 23, 2022 · be89717 · be89717
2 parents e40cdfc + df6f2a5
commit be89717
Show file tree

Hide file tree

Showing 2 changed files with 318 additions and 102 deletions.
diff --git a/code/languages/Flint/models/Flint.structure.mps b/code/languages/Flint/models/Flint.structure.mps
@@ -354,28 +354,24 @@
       <property role="IQ2ns" value="6205025464253204596" />
       <property role="20lmBu" value="fLJjDmT/aggregation" />
       <property role="20kJfa" value="actor" />
-      <property role="20lbJX" value="fLJekj4/_1" />
       <ref role="20lvS9" node="5HFvLoKGhUL" resolve="FactReference" />
     </node>
     <node concept="1TJgyj" id="5osFsyV4cyf" role="1TKVEi">
       <property role="IQ2ns" value="6205025464253204623" />
       <property role="20lmBu" value="fLJjDmT/aggregation" />
       <property role="20kJfa" value="object" />
-      <property role="20lbJX" value="fLJekj4/_1" />
       <ref role="20lvS9" node="5HFvLoKGhUL" resolve="FactReference" />
     </node>
     <node concept="1TJgyj" id="5osFsyV4cyu" role="1TKVEi">
       <property role="IQ2ns" value="6205025464253204638" />
       <property role="20lmBu" value="fLJjDmT/aggregation" />
       <property role="20kJfa" value="recipient" />
-      <property role="20lbJX" value="fLJekj4/_1" />
       <ref role="20lvS9" node="5HFvLoKGhUL" resolve="FactReference" />
     </node>
     <node concept="1TJgyj" id="wQxlRzOZfr" role="1TKVEi">
       <property role="IQ2ns" value="591807039346570203" />
       <property role="20lmBu" value="fLJjDmT/aggregation" />
       <property role="20kJfa" value="action" />
-      <property role="20lbJX" value="fLJekj4/_1" />
       <ref role="20lvS9" node="5HFvLoKGhUL" resolve="FactReference" />
     </node>
     <node concept="1TJgyi" id="5xrYknohjWs" role="1TKVEl">