Skip to content

Commit

Permalink
formal.safety.build: added "test.mbeddr.formal.safety.argument.modelq…
Browse files Browse the repository at this point in the history
…uery" to the build tests
  • Loading branch information
danielratiu committed May 17, 2024
1 parent e5f422f commit 6abce67
Showing 1 changed file with 66 additions and 0 deletions.
Original file line number Diff line number Diff line change
Expand Up @@ -15208,6 +15208,9 @@
<node concept="L2wRC" id="4ziKDEngDGz" role="39821P">
<ref role="L2wRA" node="4ziKDEngCOU" resolve="test.com.fasten.safety.doc2word" />
</node>
<node concept="L2wRC" id="5h_XtOowe4M" role="39821P">
<ref role="L2wRA" node="5h_XtOowdHr" resolve="test.mbeddr.formal.safety.argument.modelquery" />
</node>
</node>
<node concept="m$_wf" id="1FMyjUPkmds" role="3989C9">
<property role="m$_wk" value="safety.tests.dummy" />
Expand Down Expand Up @@ -15673,6 +15676,66 @@
</node>
</node>
</node>
<node concept="1E1JtA" id="5h_XtOowdHr" role="2G$12L">
<property role="BnDLt" value="true" />
<property role="TrG5h" value="test.mbeddr.formal.safety.argument.modelquery" />
<property role="3LESm3" value="a43c42e8-d5f9-419e-85a1-3b718a11b44b" />
<property role="aoJFB" value="eYcmk9QOlj/sources_and_tests" />
<node concept="398BVA" id="5h_XtOowdLK" role="3LF7KH">
<ref role="398BVh" node="1FMyjUPkmcT" resolve="mbeddr.formal.safety.code" />
<node concept="2Ry0Ak" id="5h_XtOowdPS" role="iGT6I">
<property role="2Ry0Am" value="tests" />
<node concept="2Ry0Ak" id="5h_XtOowdSD" role="2Ry0An">
<property role="2Ry0Am" value="test.mbeddr.formal.safety.argument.modelquery" />
<node concept="2Ry0Ak" id="5h_XtOowdVq" role="2Ry0An">
<property role="2Ry0Am" value="test.mbeddr.formal.safety.argument.modelquery.msd" />
</node>
</node>
</node>
</node>
<node concept="1SiIV0" id="5h_XtOowdXU" role="3bR37C">
<node concept="3bR9La" id="5h_XtOowdXV" role="1SiIV1">
<ref role="3bR37D" node="7he_lUurBQC" resolve="com.mbeddr.formal.safety.hara" />
</node>
</node>
<node concept="1SiIV0" id="5h_XtOowdXW" role="3bR37C">
<node concept="3bR9La" id="5h_XtOowdXX" role="1SiIV1">
<ref role="3bR37D" node="7he_lUury9o" resolve="com.mbeddr.formal.safety.gsn" />
</node>
</node>
<node concept="1SiIV0" id="5h_XtOowdXY" role="3bR37C">
<node concept="3bR9La" id="5h_XtOowdXZ" role="1SiIV1">
<ref role="3bR37D" to="ffeo:mXGwHwhVPj" resolve="JDK" />
</node>
</node>
<node concept="1SiIV0" id="5h_XtOowdY0" role="3bR37C">
<node concept="3bR9La" id="5h_XtOowdY1" role="1SiIV1">
<ref role="3bR37D" node="y1G8y6aUhJ" resolve="com.mbeddr.formal.safety.argument.modelquery" />
</node>
</node>
<node concept="1BupzO" id="5h_XtOowdYk" role="3bR31x">
<property role="3ZfqAx" value="models" />
<property role="1Hdu6h" value="true" />
<property role="1HemKv" value="true" />
<node concept="3LXTmp" id="5h_XtOowdYl" role="1HemKq">
<node concept="398BVA" id="5h_XtOowdY2" role="3LXTmr">
<ref role="398BVh" node="1FMyjUPkmcT" resolve="mbeddr.formal.safety.code" />
<node concept="2Ry0Ak" id="5h_XtOowdY3" role="iGT6I">
<property role="2Ry0Am" value="tests" />
<node concept="2Ry0Ak" id="5h_XtOowdY4" role="2Ry0An">
<property role="2Ry0Am" value="test.mbeddr.formal.safety.argument.modelquery" />
<node concept="2Ry0Ak" id="5h_XtOowdY5" role="2Ry0An">
<property role="2Ry0Am" value="models" />
</node>
</node>
</node>
</node>
<node concept="3qWCbU" id="5h_XtOowdYm" role="3LXTna">
<property role="3qWCbO" value="**/*.mps, **/*.mpsr, **/.model" />
</node>
</node>
</node>
</node>
<node concept="1E1JtA" id="4ziKDEngCOU" role="2G$12L">
<property role="BnDLt" value="true" />
<property role="TrG5h" value="test.com.fasten.safety.doc2word" />
Expand Down Expand Up @@ -15781,6 +15844,9 @@
<node concept="22LTRM" id="4ziKDEngDH7" role="22LTRK">
<ref role="22LTRN" node="4ziKDEngCOU" resolve="test.com.fasten.safety.doc2word" />
</node>
<node concept="22LTRM" id="5h_XtOowek3" role="22LTRK">
<ref role="22LTRN" node="5h_XtOowdHr" resolve="test.mbeddr.formal.safety.argument.modelquery" />
</node>
<node concept="24cAiW" id="1FMyjUPkmek" role="24cAkG" />
</node>
</node>
Expand Down

0 comments on commit 6abce67

Please sign in to comment.