analyses: fixed tests du to concept move

mbeddr · Apr 13, 2016 · 7887cb4 · 7887cb4
1 parent 0bac682
commit 7887cb4
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 3 deletions.
diff --git a/...uages/com.mbeddr.analyses/languages/com.mbeddr.analyses.cbmc/languageModels/structure.mps b/...uages/com.mbeddr.analyses/languages/com.mbeddr.analyses.cbmc/languageModels/structure.mps
@@ -486,6 +486,9 @@
     <node concept="asaX9" id="6UAHnEzVDUq" role="lGtFl">
       <property role="YLQ7P" value="The concept was moved to language &quot;com.mbeddr.core.util&quot;" />
     </node>
+    <node concept="PrWs8" id="3yZx_D4LvvZ" role="PzmwI">
+      <ref role="PrY4T" to="tpck:1_TrU5E6oyb" resolve="IDontSubstituteByDefault" />
+    </node>
   </node>
   <node concept="1TIwiD" id="73FH1Bco8fg">
     <property role="3GE5qa" value="cbmc_macros" />

diff --git a/code/languages/com.mbeddr.analyses/tests/test.analyses.cbmc.testcode/models/expressions.mps b/code/languages/com.mbeddr.analyses/tests/test.analyses.cbmc.testcode/models/expressions.mps
@@ -52,7 +52,6 @@
     </language>
     <language id="42270baf-e92c-4c32-b263-d617b3fce239" name="com.mbeddr.analyses.cbmc">
       <concept id="348741627182093743" name="com.mbeddr.analyses.cbmc.structure.CProverPlatform" flags="ng" index="22gAW6" />
-      <concept id="8112920893159066139" name="com.mbeddr.analyses.cbmc.structure.ValidEnumerationValue" flags="ng" index="70qya" />
       <concept id="6973658835837826905" name="com.mbeddr.analyses.cbmc.structure.Assert" flags="ng" index="Y9XUq">
         <child id="6973658835837826906" name="exp" index="Y9XUp" />
       </concept>
@@ -64,6 +63,7 @@
       </concept>
     </language>
     <language id="2693fc71-9b0e-4b05-ab13-f57227d675f2" name="com.mbeddr.core.util">
+      <concept id="8112920893159066139" name="com.mbeddr.core.util.structure.ValidEnumerationValue" flags="ng" index="70qya" />
       <concept id="4459718605982051949" name="com.mbeddr.core.util.structure.ReportingConfiguration" flags="ng" index="2Q9Fgs">
         <child id="4459718605982051999" name="strategy" index="2Q9FjI" />
       </concept>
@@ -207,8 +207,8 @@
             <node concept="2BFjQ_" id="72mSD5RZkzn" role="3XIRFZ" />
           </node>
           <node concept="19$8ne" id="72mSD5RZkzo" role="c0U16">
-            <node concept="70qya" id="72mSD5RZkzp" role="1_9fRO">
-              <node concept="3ZUYvv" id="72mSD5RZkzq" role="1_9fRO">
+            <node concept="70qya" id="3yZx_D4Ly5K" role="1_9fRO">
+              <node concept="3ZUYvv" id="3yZx_D4Ly6b" role="1_9fRO">
                 <ref role="3ZUYvu" node="72mSD5RZkzi" resolve="e" />
               </node>
             </node>