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