Skip to content

Commit

Permalink
run pending migrations
Browse files Browse the repository at this point in the history
  • Loading branch information
@alexanderpann
alexanderpann committed Nov 18, 2024
1 parent 01be836 commit e876813
Show file tree
Hide file tree
Showing 3 changed files with 13 additions and 13 deletions.
20 changes: 10 additions & 10 deletions ....mbeddr.formal.nusmv.pluginSolution/models/com.mbeddr.formal.nusmv.pluginSolution.msc.mps
View file
Original file line number Diff line number Diff line change
Expand Up @@ -480,7 +480,7 @@
</node>
</node>
<node concept="2pIpSj" id="1wencriP6sY" role="2pJxcM">
<ref role="2pIpSl" to="6jj4:4CA5ZMJ3tsn" />
<ref role="2pIpSl" to="6jj4:4CA5ZMJ3tsn" resolve="objects" />
<node concept="36biLy" id="1wencriP6tA" role="28nt2d">
<node concept="2OqwBi" id="1wencriP6Nw" role="36biLW">
<node concept="37vLTw" id="1wencriP6un" role="2Oq$k0">
Expand Down Expand Up @@ -622,15 +622,15 @@
<ref role="3cqZAo" node="1wencriP8Hy" resolve="state" />
</node>
<node concept="3Tsc0h" id="1wencriPd9b" role="2OqNvi">
<ref role="3TtcxE" to="6jj4:HiEhrZeLrA" />
<ref role="3TtcxE" to="6jj4:HiEhrZeLrA" resolve="instances" />
</node>
</node>
<node concept="TSZUe" id="1wencriPfwn" role="2OqNvi">
<node concept="2pJPEk" id="1wencriPfMV" role="25WWJ7">
<node concept="2pJPED" id="1wencriPg1A" role="2pJPEn">
<ref role="2pJxaS" to="6jj4:HiEhrZeLox" resolve="StateInstance" />
<node concept="2pIpSj" id="1wencriPgdV" role="2pJxcM">
<ref role="2pIpSl" to="6jj4:HiEhrZgdjG" />
<ref role="2pIpSl" to="6jj4:HiEhrZgdjG" resolve="exp" />
<node concept="2pJPED" id="1wencriPhbK" role="28nt2d">
<ref role="2pJxaS" to="ehqg:6mm$FLYVIYX" resolve="ArbitraryTextExpression" />
<node concept="2pJxcG" id="1wencriPhfc" role="2pJxcM">
Expand All @@ -644,11 +644,11 @@
</node>
</node>
<node concept="2pIpSj" id="1wencriPh$c" role="2pJxcM">
<ref role="2pIpSl" to="6jj4:HiEhrZeNaj" />
<ref role="2pIpSl" to="6jj4:HiEhrZeNaj" resolve="source" />
<node concept="2pJPED" id="1wencriPirE" role="28nt2d">
<ref role="2pJxaS" to="6jj4:5PdLXX5HGha" resolve="MSCObjectRef" />
<node concept="2pIpSj" id="1wencriPivS" role="2pJxcM">
<ref role="2pIpSl" to="6jj4:5PdLXX5HGhd" />
<ref role="2pIpSl" to="6jj4:5PdLXX5HGhd" resolve="mscObject" />
<node concept="36biLy" id="1wencriPhLP" role="28nt2d">
<node concept="3EllGN" id="1wencriPici" role="36biLW">
<node concept="2GrUjf" id="1wencriPig1" role="3ElVtu">
Expand All @@ -663,11 +663,11 @@
</node>
</node>
<node concept="2pIpSj" id="1wencriPiAb" role="2pJxcM">
<ref role="2pIpSl" to="6jj4:HiEhrZeNak" />
<ref role="2pIpSl" to="6jj4:HiEhrZeNak" resolve="target" />
<node concept="2pJPED" id="1wencriPiAc" role="28nt2d">
<ref role="2pJxaS" to="6jj4:5PdLXX5HGha" resolve="MSCObjectRef" />
<node concept="2pIpSj" id="1wencriPiAd" role="2pJxcM">
<ref role="2pIpSl" to="6jj4:5PdLXX5HGhd" />
<ref role="2pIpSl" to="6jj4:5PdLXX5HGhd" resolve="mscObject" />
<node concept="36biLy" id="1wencriPiAe" role="28nt2d">
<node concept="3EllGN" id="1wencriPiAf" role="36biLW">
<node concept="2GrUjf" id="1wencriPiAg" role="3ElVtu">
Expand Down Expand Up @@ -703,7 +703,7 @@
<ref role="3cqZAo" node="1wencriOWrR" resolve="msc" />
</node>
<node concept="3Tsc0h" id="1wencriP9i$" role="2OqNvi">
<ref role="3TtcxE" to="6jj4:4CA5ZMJ3tsp" />
<ref role="3TtcxE" to="6jj4:4CA5ZMJ3tsp" resolve="messages" />
</node>
</node>
<node concept="TSZUe" id="1wencriPbAW" role="2OqNvi">
Expand Down Expand Up @@ -856,7 +856,7 @@
<node concept="2ShNRf" id="2i2e8U2yMnn" role="33vP2m">
<node concept="1pGfFk" id="2i2e8U2yO9E" role="2ShVmc">
<property role="373rjd" value="true" />
<ref role="37wK5l" node="2i2e8U2wXih" />
<ref role="37wK5l" node="2i2e8U2wXih" resolve="CheckboxDialog" />
<node concept="37vLTw" id="2i2e8U2yYTS" role="37wK5m">
<ref role="3cqZAo" node="1wencriRhLy" resolve="allAssignedVariables" />
</node>
Expand Down Expand Up @@ -1390,7 +1390,7 @@
</node>
</node>
<node concept="2AHcQZ" id="2i2e8U2_rIc" role="2AJF6D">
<ref role="2AI5Lk" to="wyt6:~Override" />
<ref role="2AI5Lk" to="wyt6:~Override" resolve="Override" />
</node>
</node>
</node>
Expand Down
4 changes: 2 additions & 2 deletions ...om.mbeddr.formal.nusmv/solutions/com.mbeddr.formal.nusmv.pluginSolution/models/runner.mps
View file
Original file line number Diff line number Diff line change
Expand Up @@ -9486,7 +9486,7 @@
</node>
<node concept="3cpWs3" id="1uIpCUuGIEF" role="3uHU7B">
<node concept="37vLTw" id="1uIpCUuGIlc" role="3uHU7B">
<ref role="3cqZAo" node="1uIpCUuGI1p" resolve="msg" />
<ref role="3cqZAo" node="1uIpCUuGI1p" resolve="title" />
</node>
<node concept="Xl_RD" id="1uIpCUuGIIZ" role="3uHU7w">
<property role="Xl_RC" value=" Analysis starting point is: " />
Expand All @@ -9510,7 +9510,7 @@
</node>
</node>
<node concept="37vLTw" id="2i2e8U2Cl9S" role="37wK5m">
<ref role="3cqZAo" node="1uIpCUuGI1p" resolve="msg" />
<ref role="3cqZAo" node="1uIpCUuGI1p" resolve="title" />
</node>
</node>
</node>
Expand Down
2 changes: 1 addition & 1 deletion ...com.mbeddr.formal.nusmv/solutions/com.mbeddr.formal.rcp.tutorialActions/models/plugin.mps
View file
Original file line number Diff line number Diff line change
Expand Up @@ -756,7 +756,7 @@
</node>
</node>
<node concept="2AHcQZ" id="2i2e8U2i2nc" role="2AJF6D">
<ref role="2AI5Lk" to="wyt6:~Override" />
<ref role="2AI5Lk" to="wyt6:~Override" resolve="Override" />
</node>
</node>
<node concept="2tJIrI" id="7Y21hZBa4D0" role="jymVt" />
Expand Down

0 comments on commit e876813

Please sign in to comment.