Status

Changes

Console Output

View Build Information

History

Polling Log

Timings

Git Build Data

Test Result

Open Blue Ocean

Embeddable Build Status

Previous Build

Next Build

Test Result : EpistemicAxiomRemoverTest

0 failures

3 tests

All Tests

Test name	Duration	Status
removeCallsFindStatementsWithoutContextsWhenItIsNotSpecifiedForAssertion	2 ms	Passed
removeSkipsInferredAssertions	1 ms	Passed
removeWithAssertionContextSearchesInContext	1 ms	Passed