Added 2 new tests for upper and lower cardinality of association (for

attribute)

integration/test_pn_interface.py

@@ -331,3 +331,28 @@ class TestPetrinetInterface(unittest.TestCase):
                 modify + prompt + \
                 read_node("p1", "Place", [], [("tokens", "Integer", 1)]) + prompt,
             mode))
+
+    def test_po_pn_interface_verify_fail_attr_lower_cardinality(self):
+        self.pn_interface_verify_fail_attr_lower_cardinality("PO")
+
+    def test_co_pn_interface_verify_fail_attr_lower_cardinality(self):
+        self.pn_interface_verify_fail_attr_lower_cardinality("CO")
+
+    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,
+            mode))
+
+    def test_po_pn_interface_verify_fail_attr_upper_cardinality(self):
+        self.pn_interface_verify_fail_attr_upper_cardinality("PO")
+
+    def test_co_pn_interface_verify_fail_attr_upper_cardinality(self):
+        self.pn_interface_verify_fail_attr_upper_cardinality("CO")
+
+    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,
+            mode))
+