Test Result : DefaultContextInferenceStatementLoaderTest

0 failures (±0)

5 tests (±0)

All Tests

Test name	Duration	Status
contextMatchesReturnsFalseWhenAssertionIsNotInferredAndContextDoesNotMatch	1 ms	Passed
contextMatchesReturnsTrueWhenAssertionIsInferredAndIncludeInferredIsTrue	2 ms	Passed
loadAxiomsByContextsPassesNoContextsToConnectorWhenIncludeInferredIsTrue	0.1 sec	Passed
resolveContextsReturnsAssertionContextsWhenAssertionIsNotInferred	2 ms	Passed
resolveContextsReturnsEmptySetWhenAssertionIsInferredAndIncludeInferredIsTrue	1 ms	Passed