Test Result : JmlSetTypeExecTests

0 failures (±0) , 6 skipped (-6)
6 tests (-6)
Took 0 ms.

All Tests

Test nameDurationStatus
Package core / execJml[0: src/test/resources/dynamic_analysis/settype/SetOfNat/SetOfNat.vdmsl]0 msSkipped
execJml[0: src/test/resources/dynamic_analysis/settype/SetOfNat/SetOfNat.vdmsl]0 msSkipped
Package core / execJml[1: src/test/resources/dynamic_analysis/settype/SetPassNill/SetPassNil.vdmsl]0 msSkipped
execJml[1: src/test/resources/dynamic_analysis/settype/SetPassNill/SetPassNil.vdmsl]0 msSkipped
Package core / execJml[2: src/test/resources/dynamic_analysis/settype/SetEvenNamedTypeInv/SetEvenNamedTypeInv.vdmsl]0 msSkipped
execJml[2: src/test/resources/dynamic_analysis/settype/SetEvenNamedTypeInv/SetEvenNamedTypeInv.vdmsl]0 msSkipped