Test Result : DiscreteNotWhenAssignment

0 failures (±0) , 2 skipped (±0)

2 tests (±0)

All Tests

Test name	Duration	Status
tests / testsuite-compliance-newinst / DiscreteNotWhenAssignment	2.9 sec	Skipped
tests / testsuite-compliance / DiscreteNotWhenAssignment	4 sec	Skipped