|
|
@@ -352,7 +352,7 @@ class TestPetrinetInterface(unittest.TestCase):
|
|
|
def pn_interface_verify_fail_attr_lower_cardinality(self, mode):
|
|
|
self.assertTrue(run_file(all_files,
|
|
|
do_instantiate_simple + ['"instantiate"', '"Place"', '"p999"', '"verify"'],
|
|
|
- did_instantiate_simple + instantiate_node + prompt + ["Lower cardinality violation for outgoing edge at p999"] + prompt,
|
|
|
+ did_instantiate_simple + instantiate_node + prompt + ["Lower cardinality violation for outgoing edge of type Place_tokens at p999"] + prompt,
|
|
|
mode))
|
|
|
|
|
|
def test_po_pn_interface_verify_fail_attr_upper_cardinality(self):
|
|
|
@@ -364,7 +364,7 @@ class TestPetrinetInterface(unittest.TestCase):
|
|
|
def pn_interface_verify_fail_attr_upper_cardinality(self, mode):
|
|
|
self.assertTrue(run_file(all_files,
|
|
|
do_instantiate_simple + ['"attr_add"', '"p1"', '"tokens"', '5', '"verify"'],
|
|
|
- did_instantiate_simple + attr_add + prompt + ["Upper cardinality violation for outgoing edge at p1"] + prompt,
|
|
|
+ did_instantiate_simple + attr_add + prompt + ["Upper cardinality violation for outgoing edge of type Place_tokens at p1"] + prompt,
|
|
|
mode))
|
|
|
|
|
|
def test_po_pn_interface_verify_natural(self):
|
