Test Result : MainAxiomLoaderTest
0 failures
(±0)
5 tests
(±0)
All Tests
Test name | Duration | Status |
---|---|---|
containsChecksForInferredStatementsWhenAssertionIsInferred | 1 ms | Passed |
containsChecksForNonInferredStatementsOnlyWhenAssertionIsNotInferred | 2 ms | Passed |
findBySubjectUsesNonInferredConnector | 1 ms | Passed |
findUsesExplicitLoaderForNonInferredAssertionsAndInferredLoaderForInferredAssertions | 2 ms | Passed |
findWithInferenceUsesInferredConnector | 1 ms | Passed |