Test Result : JmlPrePostExecTests

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

All Tests

Test nameDurationStatus
execJml[0: src/test/resources/dynamic_analysis/prepost/PostCond/PostCond.vdmsl]0 msSkipped
execJml[0: src/test/resources/dynamic_analysis/prepost/PostCond/PostCond.vdmsl]0 msSkipped
execJml[0: src/test/resources/dynamic_analysis/prepost/PostCond/PostCond.vdmsl]0 msSkipped
execJml[0: src/test/resources/dynamic_analysis/prepost/PostCond/PostCond.vdmsl]0 msSkipped
execJml[1: src/test/resources/dynamic_analysis/prepost/PreCond/PreCond.vdmsl]0 msSkipped
execJml[1: src/test/resources/dynamic_analysis/prepost/PreCond/PreCond.vdmsl]0 msSkipped
execJml[1: src/test/resources/dynamic_analysis/prepost/PreCond/PreCond.vdmsl]0 msSkipped
execJml[1: src/test/resources/dynamic_analysis/prepost/PreCond/PreCond.vdmsl]0 msSkipped