Status

Changes

Console Output

View Build Information

Polling Log

Timings

Git Build Data

Test Result

Open Blue Ocean

Embeddable Build Status

Previous Build

Next Build

Passed

cz.cvut.kbss.jopa.oom.SimpleListPropertyStrategyTest.buildsInstanceFieldFromAxioms (from SimpleListPropertyStrategyTest)