|
|
@@ -133,7 +133,7 @@ def list_types(t):
|
|
|
modify = ["Element to modify?",
|
|
|
"Attribute to modify?",
|
|
|
"New value?",
|
|
|
- "Modified",]
|
|
|
+ "Modified!",]
|
|
|
|
|
|
class TestPetrinetInterface(unittest.TestCase):
|
|
|
def test_po_pn_interface_manage(self):
|
|
|
@@ -270,7 +270,7 @@ class TestPetrinetInterface(unittest.TestCase):
|
|
|
def pn_interface_verify_fail_tokens(self, mode):
|
|
|
self.assertTrue(run_file(all_files,
|
|
|
do_instantiate_simple + ["modify", "p1", "tokens", -5, "verify"],
|
|
|
- did_instantiate_simple + verify_fail_tokens, mode))
|
|
|
+ did_instantiate_simple + modify + prompt + verify_fail_tokens + prompt, mode))
|
|
|
|
|
|
def test_po_pn_interface_verify_fail_weight(self):
|
|
|
self.pn_interface_verify_fail_weight("PO")
|
|
|
@@ -281,7 +281,7 @@ class TestPetrinetInterface(unittest.TestCase):
|
|
|
def pn_interface_verify_fail_weight(self, mode):
|
|
|
self.assertTrue(run_file(all_files,
|
|
|
do_instantiate_simple + ["modify", "p2t", "weight", -2, "verify"],
|
|
|
- did_instantiate_simple + verify_fail_weight, mode))
|
|
|
+ did_instantiate_simple + modify + prompt + verify_fail_weight + prompt, mode))
|
|
|
|
|
|
def test_po_pn_interface_verify_fail_structure(self):
|
|
|
self.pn_interface_verify_fail_structure("PO")
|
