Test Result : MainAxiomLoaderTest

0 failures (±0)

5 tests (±0)

All Tests

Test name	Duration	Status
containsChecksForInferredStatementsWhenAssertionIsInferred	3 ms	Passed
containsChecksForNonInferredStatementsOnlyWhenAssertionIsNotInferred	1 ms	Passed
findUsesExplicitLoaderForNonInferredAssertionsAndInferredLoaderForInferredAssertions	3 ms	Passed
isInferredChecksWhetherInferredLoaderContainsAndAssertedDoesNotContainSpecifiedAxiom	2 ms	Passed
isInferredReturnsFalseWhenBothExplicitAndInferredLoadersContainSpecifiedAxiom	1 ms	Passed