Test Result : Deduce
0 failures
, 2 skipped
2 tests
All Tests
Test name | Duration | Status |
---|---|---|
tests / testsuite-compliance-newinst / Deduce | 0.23 sec | Skipped |
tests / testsuite-compliance / Deduce | 0.11 sec | Skipped |