Test Result : JmlRecInvExecTests

0 failures , 3 skipped
3 tests
Took 0 ms.

All Tests

Test nameDurationStatus
execJml[0: src/test/resources/dynamic_analysis/recinv/StateInitViolatesInv/StateInitViolatesInv.vdmsl]0 msSkipped
execJml[1: src/test/resources/dynamic_analysis/recinv/RecTypeDefInv/RecTypeDefInv.vdmsl]0 msSkipped
execJml[2: src/test/resources/dynamic_analysis/recinv/StateInv/StateInv.vdmsl]0 msSkipped