execJml[0: src/test/resources/dynamic_analysis/tupletype/TupleSizeMismatch/TupleSizeMismatch.vdmsl] | 0 ms | Skipped |
execJml[1: src/test/resources/dynamic_analysis/tupletype/NatBoolTupNil/NatBoolTupNil.vdmsl] | 0 ms | Skipped |
execJml[2: src/test/resources/dynamic_analysis/tupletype/NatBoolBasedNamedTypeInv/NatBooolBasedNamedTypeInv.vdmsl] | 0 ms | Skipped |
execJml[3: src/test/resources/dynamic_analysis/tupletype/NatBoolNegField/NatBoolNegField.vdmsl] | 0 ms | Skipped |