Test Result : JmlComplexStateDesExecTests

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

All Tests

Test nameDurationStatus
execJml[0: src/test/resources/dynamic_analysis/complexstatedes/ModifyRecInMap/ModifyRecInMap.vdmsl]0 msSkipped
execJml[0: src/test/resources/dynamic_analysis/complexstatedes/ModifyRecInMap/ModifyRecInMap.vdmsl]0 msSkipped
execJml[0: src/test/resources/dynamic_analysis/complexstatedes/ModifyRecInMap/ModifyRecInMap.vdmsl]0 msSkipped
execJml[0: src/test/resources/dynamic_analysis/complexstatedes/ModifyRecInMap/ModifyRecInMap.vdmsl]0 msSkipped
execJml[1: src/test/resources/dynamic_analysis/complexstatedes/NamedTypeInvUnionTypeRec/NamedTypeInvUnionTypeRec.vdmsl]0 msSkipped
execJml[1: src/test/resources/dynamic_analysis/complexstatedes/NamedTypeInvUnionTypeRec/NamedTypeInvUnionTypeRec.vdmsl]0 msSkipped
execJml[1: src/test/resources/dynamic_analysis/complexstatedes/NamedTypeInvUnionTypeRec/NamedTypeInvUnionTypeRec.vdmsl]0 msSkipped
execJml[1: src/test/resources/dynamic_analysis/complexstatedes/NamedTypeInvUnionTypeRec/NamedTypeInvUnionTypeRec.vdmsl]0 msSkipped
execJml[2: src/test/resources/dynamic_analysis/complexstatedes/RecWithMapOfRec/RecWithMapOfRec.vdmsl]0 msSkipped
execJml[2: src/test/resources/dynamic_analysis/complexstatedes/RecWithMapOfRec/RecWithMapOfRec.vdmsl]0 msSkipped
execJml[2: src/test/resources/dynamic_analysis/complexstatedes/RecWithMapOfRec/RecWithMapOfRec.vdmsl]0 msSkipped
execJml[2: src/test/resources/dynamic_analysis/complexstatedes/RecWithMapOfRec/RecWithMapOfRec.vdmsl]0 msSkipped
execJml[3: src/test/resources/dynamic_analysis/complexstatedes/RecInRecInAtomic/RecInRecInAtomic.vdmsl]0 msSkipped
execJml[3: src/test/resources/dynamic_analysis/complexstatedes/RecInRecInAtomic/RecInRecInAtomic.vdmsl]0 msSkipped
execJml[3: src/test/resources/dynamic_analysis/complexstatedes/RecInRecInAtomic/RecInRecInAtomic.vdmsl]0 msSkipped
execJml[3: src/test/resources/dynamic_analysis/complexstatedes/RecInRecInAtomic/RecInRecInAtomic.vdmsl]0 msSkipped
execJml[4: src/test/resources/dynamic_analysis/complexstatedes/RecInRecInvViolation/RecInRecInvViolation.vdmsl]0 msSkipped
execJml[4: src/test/resources/dynamic_analysis/complexstatedes/RecInRecInvViolation/RecInRecInvViolation.vdmsl]0 msSkipped
execJml[4: src/test/resources/dynamic_analysis/complexstatedes/RecInRecInvViolation/RecInRecInvViolation.vdmsl]0 msSkipped
execJml[4: src/test/resources/dynamic_analysis/complexstatedes/RecInRecInvViolation/RecInRecInvViolation.vdmsl]0 msSkipped
execJml[5: src/test/resources/dynamic_analysis/complexstatedes/MaskedRecNamedTypeInv/MaskedRecNamedTypeInv.vdmsl]0 msSkipped
execJml[5: src/test/resources/dynamic_analysis/complexstatedes/MaskedRecNamedTypeInv/MaskedRecNamedTypeInv.vdmsl]0 msSkipped
execJml[5: src/test/resources/dynamic_analysis/complexstatedes/MaskedRecNamedTypeInv/MaskedRecNamedTypeInv.vdmsl]0 msSkipped
execJml[5: src/test/resources/dynamic_analysis/complexstatedes/MaskedRecNamedTypeInv/MaskedRecNamedTypeInv.vdmsl]0 msSkipped
execJml[6: src/test/resources/dynamic_analysis/complexstatedes/MaskedRecInvViolated/MaskedRecInvViolated.vdmsl]0 msSkipped
execJml[6: src/test/resources/dynamic_analysis/complexstatedes/MaskedRecInvViolated/MaskedRecInvViolated.vdmsl]0 msSkipped
execJml[6: src/test/resources/dynamic_analysis/complexstatedes/MaskedRecInvViolated/MaskedRecInvViolated.vdmsl]0 msSkipped
execJml[6: src/test/resources/dynamic_analysis/complexstatedes/MaskedRecInvViolated/MaskedRecInvViolated.vdmsl]0 msSkipped