Test Result : JmlInvariantForExecTests

0 failures (±0) , 3 skipped (±0)
3 tests (±0)
Took 0 ms.

All Tests

Test nameDurationStatus
execJml[0: src/test/resources/dynamic_analysis/invariant_for/RecUnion/RecUnion.vdmsl]0 msSkipped
execJml[1: src/test/resources/dynamic_analysis/invariant_for/Simple/Simple.vdmsl]0 msSkipped
execJml[2: src/test/resources/dynamic_analysis/invariant_for/AtomicRecUnion/AtomicRecUnion.vdmsl]0 msSkipped