Skip to content

Test Result : DefaultContextInferenceStatementLoaderTest

0 failures (±0)
5 tests (±0)
Took 6 ms.

All Tests

Test nameDurationStatus
contextMatchesReturnsFalseWhenAssertionIsNotInferredAndContextDoesNotMatch1 msPassed
contextMatchesReturnsTrueWhenAssertionIsInferredAndIncludeInferredIsTrue1 msPassed
loadAxiomsByContextsPassesNoContextsToConnectorWhenIncludeInferredIsTrue3 msPassed
resolveContextsReturnsAssertionContextsWhenAssertionIsNotInferred1 msPassed
resolveContextsReturnsEmptySetWhenAssertionIsInferredAndIncludeInferredIsTrue0 msPassed