Test Result : JmlTupleTypeExecTests

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

All Tests

Test nameDurationStatus
Package core / execJml[0: src/test/resources/dynamic_analysis/tupletype/TupleSizeMismatch/TupleSizeMismatch.vdmsl]0 msSkipped
execJml[0: src/test/resources/dynamic_analysis/tupletype/TupleSizeMismatch/TupleSizeMismatch.vdmsl]0 msSkipped
Package core / execJml[1: src/test/resources/dynamic_analysis/tupletype/NatBoolTupNil/NatBoolTupNil.vdmsl]0 msSkipped
execJml[1: src/test/resources/dynamic_analysis/tupletype/NatBoolTupNil/NatBoolTupNil.vdmsl]0 msSkipped
execJml[2: src/test/resources/dynamic_analysis/tupletype/NatBoolBasedNamedTypeInv/NatBooolBasedNamedTypeInv.vdmsl]0 msSkipped
Package core / execJml[2: src/test/resources/dynamic_analysis/tupletype/NatBoolBasedNamedTypeInv/NatBooolBasedNamedTypeInv.vdmsl]0 msSkipped
Package core / execJml[3: src/test/resources/dynamic_analysis/tupletype/NatBoolNegField/NatBoolNegField.vdmsl]0 msSkipped
execJml[3: src/test/resources/dynamic_analysis/tupletype/NatBoolNegField/NatBoolNegField.vdmsl]0 msSkipped