Test Result : ConstrainingModWithRedecl

0 failures (±0)

2 tests (±0)

All Tests

Test name	Duration	Status
tests / testsuite-compliance-newinst / ConstrainingModWithRedecl	3.2 sec	Passed
tests / testsuite-compliance / ConstrainingModWithRedecl	6.2 sec	Passed