Test Result : ConstrainingModWithRedecl

0 failures (±0)

2 tests (±0)

All Tests

Test name	Duration	Status
tests / testsuite-compliance-newinst / ConstrainingModWithRedecl	1.4 sec	Passed
tests / testsuite-compliance / ConstrainingModWithRedecl	2.4 sec	Passed