Test Result : ConstrainingModWithRedecl

0 failures (±0)

2 tests (±0)

All Tests

Test name	Duration	Status
tests / testsuite-compliance-newinst / ConstrainingModWithRedecl	3.8 sec	Passed
tests / testsuite-compliance / ConstrainingModWithRedecl	4.4 sec	Passed