Test Result : DiscreteNotWhenAssignment

0 failures

2 tests

All Tests

Test name	Duration	Status
tests / testsuite-compliance-newinst / DiscreteNotWhenAssignment	0.14 sec	Passed
tests / testsuite-compliance / DiscreteNotWhenAssignment	0.42 sec	Passed