瀏覽代碼

Test passes

Yentl Van Tendeloo 8 年之前
父節點
當前提交
f18db38b71
共有 2 個文件被更改,包括 2 次插入1 次删除
  1. 1 0
      integration/test_mvc.py
  2. 1 1
      models/plant_to_EPN.mvc

+ 1 - 0
integration/test_mvc.py

@@ -2309,6 +2309,7 @@ class TestModelverseCore(unittest.TestCase):
                      "  refine_Plant : ManualOperation",
                      "  environment_model : PW_Environment",
                      "  __merged_All_RAM : SimpleClassDiagrams",
+                     "  __merged_refine_Plant : SimpleClassDiagrams",
                      "  All_RAM : SimpleClassDiagrams",
                      "  ReachabilityGraph : SimpleClassDiagrams",]),
                 "Ready for command...",

+ 1 - 1
models/plant_to_EPN.mvc

@@ -50,8 +50,8 @@ All_RAM pw_to_epn {
                         String function value(host_model : Element, name : String, mapping : Element):
                             return "InControlMovingUp"!
                         $
-                }
                     label = "16"
+                }
                 Post_Encapsulated_PetriNet/Transition n_18{
                     label = "18"
                     value_name = $