|
@@ -86,8 +86,6 @@ class TestConstructorsModelsCompiled(unittest.TestCase):
|
|
|
conformance_check("models/invalid_petrinet_2") + \
|
|
|
conformance_check("models/invalid_petrinet_3") + \
|
|
|
conformance_check("models/invalid_petrinet_4") + \
|
|
|
- conformance_check("models/invalid_petrinet_5") + \
|
|
|
- conformance_check("models/invalid_petrinet_6") + \
|
|
|
conformance_check("models/invalid_petrinet_7") + \
|
|
|
['"return"', 'false']
|
|
|
- self.assertTrue(run_barebone(commands, ["OK", "Natural does not have a positive or zero value", "Natural does not have a positive or zero value", "Destination of model edge not typed by source of type: wrong_p2t", "Source of model edge not typed by source of type: wrong_t2p", "Minimum cardinality violation: Place_tokens", "Minimum cardinality violation: P2T_weight", "Natural has no integer value"], 1))
|
|
|
+ self.assertTrue(run_barebone(commands, ["OK", "Natural does not have a positive or zero value at p1.tokens", "Natural does not have a positive or zero value at p2t.weight", "Destination of model edge not typed by source of type: wrong_p2t", "Source of model edge not typed by source of type: wrong_t2p", "Natural has no integer value at p1.tokens"], 1))
|