Test Result : MainAxiomLoaderTest

0 failures (±0)

5 tests (±0)

All Tests

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