Skip to content

Test Result : DefaultContextInferenceStatementLoaderTest

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

All Tests

Test nameDurationStatus
contextMatchesReturnsFalseWhenAssertionIsNotInferredAndContextDoesNotMatch3 msPassed
contextMatchesReturnsTrueWhenAssertionIsInferredAndIncludeInferredIsTrue3 msPassed
loadAxiomsByContextsPassesNoContextsToConnectorWhenIncludeInferredIsTrue67 msPassed
resolveContextsReturnsAssertionContextsWhenAssertionIsNotInferred4 msPassed
resolveContextsReturnsEmptySetWhenAssertionIsInferredAndIncludeInferredIsTrue4 msPassed