Browse Source

Fixed broken test

Yentl Van Tendeloo 8 years ago
parent
commit
7a7acfa90e
2 changed files with 9 additions and 6 deletions
  1. 3 0
      integration/code/pn_runtime_model.mvc
  2. 6 6
      integration/test_pn_interface.py

+ 3 - 0
integration/code/pn_runtime_model.mvc

@@ -3,12 +3,15 @@ import models/PetriNets_Runtime as PetriNets_Runtime
 PetriNets_Runtime pn {
 	Place p1 {
 		tokens = 1
+        name = "p1"
 	}
 	Place p2 {
 		tokens = 2
+        name = "p2"
 	}
 	Place p3 {
 		tokens = 3
+        name = "p3"
 	}
 	Transition t1 {
 		executing = False

+ 6 - 6
integration/test_pn_interface.py

@@ -596,9 +596,9 @@ Element function constraint(model : Element, name : String):
           greeting + prompt * 3 +
             load + loaded +
             read_node("t1", "Transition", [], [("executing", "Boolean", False)]) + prompt +
-            read_node("p1", "Place", [], [("tokens", "Natural", 1)]) + prompt +
-            read_node("p2", "Place", [], [("tokens", "Natural", 2)]) + prompt +
-            read_node("p3", "Place", [], [("tokens", "Natural", 3)]) + prompt +
+            read_node("p1", "Place", [], [("tokens", "Natural", 1), ("name", "String", '"p1"')]) + prompt +
+            read_node("p2", "Place", [], [("tokens", "Natural", 2), ("name", "String", '"p2"')]) + prompt +
+            read_node("p3", "Place", [], [("tokens", "Natural", 3), ("name", "String", '"p3"')]) + prompt +
             prompt +
             ramify + prompt + 
             prompt +
@@ -607,9 +607,9 @@ Element function constraint(model : Element, name : String):
             load + loaded +
             ["OK"] + prompt +
             read_node("t1", "Transition", [], [("executing", "Boolean", False)]) + prompt +
-            read_node("p1", "Place", [], [("tokens", "Natural", 0)]) + prompt +
-            read_node("p2", "Place", [], [("tokens", "Natural", 1)]) + prompt +
-            read_node("p3", "Place", [], [("tokens", "Natural", 5)]) + prompt, 
+            read_node("p1", "Place", [], [("tokens", "Natural", 0), ("name", "String", '"p1"')]) + prompt +
+            read_node("p2", "Place", [], [("tokens", "Natural", 1), ("name", "String", '"p2"')]) + prompt +
+            read_node("p3", "Place", [], [("tokens", "Natural", 5), ("name", "String", '"p3"')]) + prompt, 
           "PO"))
 
     def test_po_pn_interface_transform_pn_to_runtime(self):