Test Result : AxiomLoaderWithInferenceTest
0 failures
(±0)
1 tests
(±0)
All Tests
Test name | Duration | Status |
---|---|---|
findStatementsLoadsInferredStatementsEvenWhenContextIsSpecifiedForAssertion | 0.49 sec | Passed |
Test name | Duration | Status |
---|---|---|
findStatementsLoadsInferredStatementsEvenWhenContextIsSpecifiedForAssertion | 0.49 sec | Passed |