Test Result : EpistemicAxiomRemoverTest

0 failures (±0)

3 tests (±0)

All Tests

Test name	Duration	Status
removeCallsFindStatementsWithoutContextsWhenItIsNotSpecifiedForAssertion	5 ms	Passed
removeSkipsInferredAssertions	4 ms	Passed
removeWithAssertionContextSearchesInContext	6 ms	Passed