Skip to content

Test Result : EpistemicAxiomRemoverTest

0 failures
3 tests
Took 13 ms.

All Tests

Test nameDurationStatus
removeCallsFindStatementsWithoutContextsWhenItIsNotSpecifiedForAssertion4 msPassed
removeSkipsInferredAssertions5 msPassed
removeWithAssertionContextSearchesInContext4 msPassed