Test Result : JmlPrePostExecTests

0 failures (±0) , 2 skipped (±0)

2 tests (±0)

All Tests

Test name	Duration	Status
execJml[0: src/test/resources/dynamic_analysis/prepost/PostCond/PostCond.vdmsl]	0 ms	Skipped
execJml[1: src/test/resources/dynamic_analysis/prepost/PreCond/PreCond.vdmsl]	0 ms	Skipped