Test Result : JmlUnionTypeExecTests

0 failures , 6 skipped
6 tests
Took 0 ms.

All Tests

Test nameDurationStatus
execJml[0: src/test/resources/dynamic_analysis/uniontype/RecWithRecFieldAtomicViolation/RecWithRecFieldAtomicViolation.vdmsl]0 msSkipped
execJml[1: src/test/resources/dynamic_analysis/uniontype/OptionalBasicUnion/OptionalBasicUnion.vdmsl]0 msSkipped
execJml[2: src/test/resources/dynamic_analysis/uniontype/RecTypesUnion/RecTypesUnion.vdmsl]0 msSkipped
execJml[3: src/test/resources/dynamic_analysis/uniontype/CharUnionEven/CharUnionEven.vdmsl]0 msSkipped
execJml[4: src/test/resources/dynamic_analysis/uniontype/RecWithRecFieldUpdate/RecWithRecFieldUpdate.vdmsl]0 msSkipped
execJml[5: src/test/resources/dynamic_analysis/uniontype/RecWithRecFieldAtomicNoViolation/RecWithRecFieldAtomicNoViolation.vdmsl]0 msSkipped