Test Result : DiscreteNotWhenAssignment

0 failures (±0)

2 tests (±0)

All Tests

Test name	Duration	Status
tests / testsuite-compliance-newinst / DiscreteNotWhenAssignment	0.32 sec	Passed
tests / testsuite-compliance / DiscreteNotWhenAssignment	0.13 sec	Passed