safety: Force Save All

mbeddr · Oct 3, 2024 · 18930bd · 18930bd
1 parent 718c18d
commit 18930bd
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 5 deletions.
diff --git a/...ddr.formal.safety.argument.spi/models/com.mbeddr.formal.safety.argument.spi.structure.mps b/...ddr.formal.safety.argument.spi/models/com.mbeddr.formal.safety.argument.spi.structure.mps
@@ -50,7 +50,7 @@
     <property role="TrG5h" value="SPIContainer" />
     <property role="19KtqR" value="true" />
     <property role="34LRSv" value="safety performance indicators" />
-    <ref role="1TJDcQ" to="tpck:gw2VY9q" />
+    <ref role="1TJDcQ" to="tpck:gw2VY9q" resolve="BaseConcept" />
     <node concept="PrWs8" id="2X_iJQizBwf" role="PzmwI">
       <ref role="PrY4T" to="tpck:h0TrEE$" resolve="INamedConcept" />
     </node>
@@ -67,7 +67,7 @@
     <property role="TrG5h" value="SPIDefinition" />
     <property role="34LRSv" value="spi definition" />
     <property role="R4oN_" value="safety perf. indicator definition" />
-    <ref role="1TJDcQ" to="tpck:gw2VY9q" />
+    <ref role="1TJDcQ" to="tpck:gw2VY9q" resolve="BaseConcept" />
     <node concept="PrWs8" id="2X_iJQizBwj" role="PzmwI">
       <ref role="PrY4T" to="tpck:h0TrEE$" resolve="INamedConcept" />
     </node>
@@ -100,7 +100,7 @@
     <property role="TrG5h" value="SPIEvaluatorBase" />
     <property role="R5$K7" value="true" />
     <property role="3GE5qa" value="evaluators" />
-    <ref role="1TJDcQ" to="tpck:gw2VY9q" />
+    <ref role="1TJDcQ" to="tpck:gw2VY9q" resolve="BaseConcept" />
   </node>
   <node concept="1TIwiD" id="2X_iJQizBB6">
     <property role="EcuMT" value="3415218345376381382" />
@@ -126,7 +126,7 @@
     <property role="EcuMT" value="3415218345380592611" />
     <property role="TrG5h" value="SpiAnnotationProvider" />
     <property role="34LRSv" value="from SPIs (defined in the same module)" />
-    <ref role="1TJDcQ" to="tpck:gw2VY9q" />
+    <ref role="1TJDcQ" to="tpck:gw2VY9q" resolve="BaseConcept" />
     <node concept="PrWs8" id="2X_iJQiNFJ$" role="PzmwI">
       <ref role="PrY4T" to="b19z:3cGyC6fA47u" resolve="IAnnotationProvider" />
     </node>

diff --git a/.../languages/com.mbeddr.formal.safety.gsn/models/com.mbeddr.formal.safety.gsn.structure.mps b/.../languages/com.mbeddr.formal.safety.gsn/models/com.mbeddr.formal.safety.gsn.structure.mps
@@ -472,7 +472,7 @@
     <property role="EcuMT" value="3415218345376506510" />
     <property role="3GE5qa" value="base" />
     <property role="TrG5h" value="GoalStructureElementBaseRef" />
-    <ref role="1TJDcQ" to="tpck:gw2VY9q" />
+    <ref role="1TJDcQ" to="tpck:gw2VY9q" resolve="BaseConcept" />
     <node concept="1TJgyj" id="2X_iJQi$6af" role="1TKVEi">
       <property role="IQ2ns" value="3415218345376506511" />
       <property role="20kJfa" value="gseb" />