Test Result : JmlAtomicExecTests

0 failures , 4 skipped
4 tests
Took 0 ms.

All Tests

Test nameDurationStatus
execJml[0: src/test/resources/dynamic_analysis/atomic/AtomicStateInvViolation/AtomicStateInvViolation.vdmsl]0 msSkipped
execJml[1: src/test/resources/dynamic_analysis/atomic/AtomicRecUnion/AtomicRecUnion.vdmsl]0 msSkipped
execJml[2: src/test/resources/dynamic_analysis/atomic/InvChecksOnFlagInOtherModule/InvChecksOnFlagInOtherModule.vdmsl]0 msSkipped
execJml[3: src/test/resources/dynamic_analysis/atomic/AtomicStateInvNoViolation/AtomicStateInvNoViolation.vdmsl]0 msSkipped