Status

Changes

Console Output

View as plain text

View Build Information

Timings

Git Build Data

Test Result

Open Blue Ocean

Embeddable Build Status

Previous Build

Next Build

Passed

cz.cvut.kbss.ontodriver.jena.MainAxiomLoaderTest.isInferredChecksWhetherInferredLoaderContainsAndAssertedDoesNotContainSpecifiedAxiom