Test Result : JmlOutputTests

0 failures (±0)
340 tests (±0)
Took 29 sec.

All Tests

Test nameDurationStatus
run[0: src/test/resources/dynamic_analysis/optionaltype/OpParamQuoteTypeViolation/OpParamQuoteTypeViolation.vdmsl]0.27 secPassed
run[0: src/test/resources/dynamic_analysis/optionaltype/OpParamQuoteTypeViolation/OpParamQuoteTypeViolation.vdmsl]0.27 secPassed
run[0: src/test/resources/dynamic_analysis/optionaltype/OpParamQuoteTypeViolation/OpParamQuoteTypeViolation.vdmsl]0.31 secPassed
run[0: src/test/resources/dynamic_analysis/optionaltype/OpParamQuoteTypeViolation/OpParamQuoteTypeViolation.vdmsl]0.31 secPassed
run[10: src/test/resources/dynamic_analysis/comprehension/Map/Map.vdmsl]0.11 secPassed
run[10: src/test/resources/dynamic_analysis/comprehension/Map/Map.vdmsl]0.11 secPassed
run[10: src/test/resources/dynamic_analysis/comprehension/Map/Map.vdmsl]0.2 secPassed
run[10: src/test/resources/dynamic_analysis/comprehension/Map/Map.vdmsl]0.2 secPassed
run[11: src/test/resources/dynamic_analysis/comprehension/Set/Set.vdmsl]72 msPassed
run[11: src/test/resources/dynamic_analysis/comprehension/Set/Set.vdmsl]74 msPassed
run[11: src/test/resources/dynamic_analysis/comprehension/Set/Set.vdmsl]74 msPassed
run[11: src/test/resources/dynamic_analysis/comprehension/Set/Set.vdmsl]72 msPassed
run[12: src/test/resources/dynamic_analysis/comprehension/Seq/Seq.vdmsl]87 msPassed
run[12: src/test/resources/dynamic_analysis/comprehension/Seq/Seq.vdmsl]87 msPassed
run[12: src/test/resources/dynamic_analysis/comprehension/Seq/Seq.vdmsl]0.1 secPassed
run[12: src/test/resources/dynamic_analysis/comprehension/Seq/Seq.vdmsl]0.1 secPassed
run[13: src/test/resources/dynamic_analysis/atomic/AtomicStateInvViolation/AtomicStateInvViolation.vdmsl]71 msPassed
run[13: src/test/resources/dynamic_analysis/atomic/AtomicStateInvViolation/AtomicStateInvViolation.vdmsl]72 msPassed
run[13: src/test/resources/dynamic_analysis/atomic/AtomicStateInvViolation/AtomicStateInvViolation.vdmsl]71 msPassed
run[13: src/test/resources/dynamic_analysis/atomic/AtomicStateInvViolation/AtomicStateInvViolation.vdmsl]72 msPassed
run[14: src/test/resources/dynamic_analysis/atomic/AtomicRecUnion/AtomicRecUnion.vdmsl]86 msPassed
run[14: src/test/resources/dynamic_analysis/atomic/AtomicRecUnion/AtomicRecUnion.vdmsl]86 msPassed
run[14: src/test/resources/dynamic_analysis/atomic/AtomicRecUnion/AtomicRecUnion.vdmsl]74 msPassed
run[14: src/test/resources/dynamic_analysis/atomic/AtomicRecUnion/AtomicRecUnion.vdmsl]74 msPassed
run[15: src/test/resources/dynamic_analysis/atomic/InvChecksOnFlagInOtherModule/InvChecksOnFlagInOtherModule.vdmsl]86 msPassed
run[15: src/test/resources/dynamic_analysis/atomic/InvChecksOnFlagInOtherModule/InvChecksOnFlagInOtherModule.vdmsl]86 msPassed
run[15: src/test/resources/dynamic_analysis/atomic/InvChecksOnFlagInOtherModule/InvChecksOnFlagInOtherModule.vdmsl]70 msPassed
run[15: src/test/resources/dynamic_analysis/atomic/InvChecksOnFlagInOtherModule/InvChecksOnFlagInOtherModule.vdmsl]70 msPassed
run[16: src/test/resources/dynamic_analysis/atomic/AtomicStateInvNoViolation/AtomicStateInvNoViolation.vdmsl]0.16 secPassed
run[16: src/test/resources/dynamic_analysis/atomic/AtomicStateInvNoViolation/AtomicStateInvNoViolation.vdmsl]85 msPassed
run[16: src/test/resources/dynamic_analysis/atomic/AtomicStateInvNoViolation/AtomicStateInvNoViolation.vdmsl]85 msPassed
run[16: src/test/resources/dynamic_analysis/atomic/AtomicStateInvNoViolation/AtomicStateInvNoViolation.vdmsl]0.16 secPassed
run[17: src/test/resources/dynamic_analysis/invariant_for/RecUnion/RecUnion.vdmsl]96 msPassed
run[17: src/test/resources/dynamic_analysis/invariant_for/RecUnion/RecUnion.vdmsl]76 msPassed
run[17: src/test/resources/dynamic_analysis/invariant_for/RecUnion/RecUnion.vdmsl]96 msPassed
run[17: src/test/resources/dynamic_analysis/invariant_for/RecUnion/RecUnion.vdmsl]76 msPassed
run[18: src/test/resources/dynamic_analysis/invariant_for/Simple/Simple.vdmsl]70 msPassed
run[18: src/test/resources/dynamic_analysis/invariant_for/Simple/Simple.vdmsl]61 msPassed
run[18: src/test/resources/dynamic_analysis/invariant_for/Simple/Simple.vdmsl]61 msPassed
run[18: src/test/resources/dynamic_analysis/invariant_for/Simple/Simple.vdmsl]70 msPassed
run[19: src/test/resources/dynamic_analysis/invariant_for/AtomicRecUnion/AtomicRecUnion.vdmsl]0.33 secPassed
run[19: src/test/resources/dynamic_analysis/invariant_for/AtomicRecUnion/AtomicRecUnion.vdmsl]0.33 secPassed
run[19: src/test/resources/dynamic_analysis/invariant_for/AtomicRecUnion/AtomicRecUnion.vdmsl]69 msPassed
run[19: src/test/resources/dynamic_analysis/invariant_for/AtomicRecUnion/AtomicRecUnion.vdmsl]69 msPassed
run[1: src/test/resources/dynamic_analysis/optionaltype/VarDeclTypeViolation/VarDeclTypeViolation.vdmsl]0.1 secPassed
run[1: src/test/resources/dynamic_analysis/optionaltype/VarDeclTypeViolation/VarDeclTypeViolation.vdmsl]0.1 secPassed
run[1: src/test/resources/dynamic_analysis/optionaltype/VarDeclTypeViolation/VarDeclTypeViolation.vdmsl]0.16 secPassed
run[1: src/test/resources/dynamic_analysis/optionaltype/VarDeclTypeViolation/VarDeclTypeViolation.vdmsl]0.16 secPassed
run[20: src/test/resources/dynamic_analysis/namedtypeinv/NamedTypeMadeOptional/NamedTypeMadeOptional.vdmsl]54 msPassed
run[20: src/test/resources/dynamic_analysis/namedtypeinv/NamedTypeMadeOptional/NamedTypeMadeOptional.vdmsl]54 msPassed
run[20: src/test/resources/dynamic_analysis/namedtypeinv/NamedTypeMadeOptional/NamedTypeMadeOptional.vdmsl]46 msPassed
run[20: src/test/resources/dynamic_analysis/namedtypeinv/NamedTypeMadeOptional/NamedTypeMadeOptional.vdmsl]46 msPassed
run[21: src/test/resources/dynamic_analysis/namedtypeinv/NamedTypeInvAsssignments/NamedTypeInvAsssignments.vdmsl]0.11 secPassed
run[21: src/test/resources/dynamic_analysis/namedtypeinv/NamedTypeInvAsssignments/NamedTypeInvAsssignments.vdmsl]79 msPassed
run[21: src/test/resources/dynamic_analysis/namedtypeinv/NamedTypeInvAsssignments/NamedTypeInvAsssignments.vdmsl]0.11 secPassed
run[21: src/test/resources/dynamic_analysis/namedtypeinv/NamedTypeInvAsssignments/NamedTypeInvAsssignments.vdmsl]79 msPassed
run[22: src/test/resources/dynamic_analysis/namedtypeinv/NamedTypeInvLocalDecls/NamedTypeInvLocalDecls.vdmsl]51 msPassed
run[22: src/test/resources/dynamic_analysis/namedtypeinv/NamedTypeInvLocalDecls/NamedTypeInvLocalDecls.vdmsl]44 msPassed
run[22: src/test/resources/dynamic_analysis/namedtypeinv/NamedTypeInvLocalDecls/NamedTypeInvLocalDecls.vdmsl]51 msPassed
run[22: src/test/resources/dynamic_analysis/namedtypeinv/NamedTypeInvLocalDecls/NamedTypeInvLocalDecls.vdmsl]44 msPassed
run[23: src/test/resources/dynamic_analysis/namedtypeinv/NamedTypeInvNullAllowed/NamedTypeInvNullAllowed.vdmsl]33 msPassed
run[23: src/test/resources/dynamic_analysis/namedtypeinv/NamedTypeInvNullAllowed/NamedTypeInvNullAllowed.vdmsl]33 msPassed
run[23: src/test/resources/dynamic_analysis/namedtypeinv/NamedTypeInvNullAllowed/NamedTypeInvNullAllowed.vdmsl]36 msPassed
run[23: src/test/resources/dynamic_analysis/namedtypeinv/NamedTypeInvNullAllowed/NamedTypeInvNullAllowed.vdmsl]36 msPassed
run[24: src/test/resources/dynamic_analysis/namedtypeinv/NamedTypeInvSeqUpdate/NamedTypeInvSeqUpdate.vdmsl]74 msPassed
run[24: src/test/resources/dynamic_analysis/namedtypeinv/NamedTypeInvSeqUpdate/NamedTypeInvSeqUpdate.vdmsl]60 msPassed
run[24: src/test/resources/dynamic_analysis/namedtypeinv/NamedTypeInvSeqUpdate/NamedTypeInvSeqUpdate.vdmsl]74 msPassed
run[24: src/test/resources/dynamic_analysis/namedtypeinv/NamedTypeInvSeqUpdate/NamedTypeInvSeqUpdate.vdmsl]60 msPassed
run[25: src/test/resources/dynamic_analysis/namedtypeinv/RecursionConservativeChecking/RecursionConservativeChecking.vdmsl]0.1 secPassed
run[25: src/test/resources/dynamic_analysis/namedtypeinv/RecursionConservativeChecking/RecursionConservativeChecking.vdmsl]0.1 secPassed
run[25: src/test/resources/dynamic_analysis/namedtypeinv/RecursionConservativeChecking/RecursionConservativeChecking.vdmsl]0.11 secPassed
run[25: src/test/resources/dynamic_analysis/namedtypeinv/RecursionConservativeChecking/RecursionConservativeChecking.vdmsl]0.11 secPassed
run[26: src/test/resources/dynamic_analysis/namedtypeinv/NamedTypeInvValues/NamedTypeInvValues.vdmsl]54 msPassed
run[26: src/test/resources/dynamic_analysis/namedtypeinv/NamedTypeInvValues/NamedTypeInvValues.vdmsl]90 msPassed
run[26: src/test/resources/dynamic_analysis/namedtypeinv/NamedTypeInvValues/NamedTypeInvValues.vdmsl]90 msPassed
run[26: src/test/resources/dynamic_analysis/namedtypeinv/NamedTypeInvValues/NamedTypeInvValues.vdmsl]54 msPassed
run[27: src/test/resources/dynamic_analysis/namedtypeinv/NamedTypeInvMethodParam/NamedTypeInvMethodParam.vdmsl]80 msPassed
run[27: src/test/resources/dynamic_analysis/namedtypeinv/NamedTypeInvMethodParam/NamedTypeInvMethodParam.vdmsl]61 msPassed
run[27: src/test/resources/dynamic_analysis/namedtypeinv/NamedTypeInvMethodParam/NamedTypeInvMethodParam.vdmsl]61 msPassed
run[27: src/test/resources/dynamic_analysis/namedtypeinv/NamedTypeInvMethodParam/NamedTypeInvMethodParam.vdmsl]80 msPassed
run[28: src/test/resources/dynamic_analysis/namedtypeinv/NamedTypeInvMapUpdate/NamedTypeInvMapUpdate.vdmsl]73 msPassed
run[28: src/test/resources/dynamic_analysis/namedtypeinv/NamedTypeInvMapUpdate/NamedTypeInvMapUpdate.vdmsl]66 msPassed
run[28: src/test/resources/dynamic_analysis/namedtypeinv/NamedTypeInvMapUpdate/NamedTypeInvMapUpdate.vdmsl]66 msPassed
run[28: src/test/resources/dynamic_analysis/namedtypeinv/NamedTypeInvMapUpdate/NamedTypeInvMapUpdate.vdmsl]73 msPassed
run[29: src/test/resources/dynamic_analysis/namedtypeinv/NamedTypeInvReturn/NamedTypeInvReturn.vdmsl]63 msPassed
run[29: src/test/resources/dynamic_analysis/namedtypeinv/NamedTypeInvReturn/NamedTypeInvReturn.vdmsl]63 msPassed
run[29: src/test/resources/dynamic_analysis/namedtypeinv/NamedTypeInvReturn/NamedTypeInvReturn.vdmsl]59 msPassed
run[29: src/test/resources/dynamic_analysis/namedtypeinv/NamedTypeInvReturn/NamedTypeInvReturn.vdmsl]59 msPassed
run[2: src/test/resources/dynamic_analysis/optionaltype/AssignBoolTypeViolation/AssignBoolTypeViolation.vdmsl]0.13 secPassed
run[2: src/test/resources/dynamic_analysis/optionaltype/AssignBoolTypeViolation/AssignBoolTypeViolation.vdmsl]0.13 secPassed
run[2: src/test/resources/dynamic_analysis/optionaltype/AssignBoolTypeViolation/AssignBoolTypeViolation.vdmsl]0.1 secPassed
run[2: src/test/resources/dynamic_analysis/optionaltype/AssignBoolTypeViolation/AssignBoolTypeViolation.vdmsl]0.1 secPassed
run[30: src/test/resources/dynamic_analysis/tupletype/TupleSizeMismatch/TupleSizeMismatch.vdmsl]38 msPassed
run[30: src/test/resources/dynamic_analysis/tupletype/TupleSizeMismatch/TupleSizeMismatch.vdmsl]50 msPassed
run[30: src/test/resources/dynamic_analysis/tupletype/TupleSizeMismatch/TupleSizeMismatch.vdmsl]50 msPassed
run[30: src/test/resources/dynamic_analysis/tupletype/TupleSizeMismatch/TupleSizeMismatch.vdmsl]38 msPassed
run[31: src/test/resources/dynamic_analysis/tupletype/NatBoolTupNil/NatBoolTupNil.vdmsl]41 msPassed
run[31: src/test/resources/dynamic_analysis/tupletype/NatBoolTupNil/NatBoolTupNil.vdmsl]41 msPassed
run[31: src/test/resources/dynamic_analysis/tupletype/NatBoolTupNil/NatBoolTupNil.vdmsl]33 msPassed
run[31: src/test/resources/dynamic_analysis/tupletype/NatBoolTupNil/NatBoolTupNil.vdmsl]33 msPassed
run[32: src/test/resources/dynamic_analysis/tupletype/NatBoolBasedNamedTypeInv/NatBooolBasedNamedTypeInv.vdmsl]51 msPassed
run[32: src/test/resources/dynamic_analysis/tupletype/NatBoolBasedNamedTypeInv/NatBooolBasedNamedTypeInv.vdmsl]51 msPassed
run[32: src/test/resources/dynamic_analysis/tupletype/NatBoolBasedNamedTypeInv/NatBooolBasedNamedTypeInv.vdmsl]49 msPassed
run[32: src/test/resources/dynamic_analysis/tupletype/NatBoolBasedNamedTypeInv/NatBooolBasedNamedTypeInv.vdmsl]49 msPassed
run[33: src/test/resources/dynamic_analysis/tupletype/NatBoolNegField/NatBoolNegField.vdmsl]36 msPassed
run[33: src/test/resources/dynamic_analysis/tupletype/NatBoolNegField/NatBoolNegField.vdmsl]39 msPassed
run[33: src/test/resources/dynamic_analysis/tupletype/NatBoolNegField/NatBoolNegField.vdmsl]39 msPassed
run[33: src/test/resources/dynamic_analysis/tupletype/NatBoolNegField/NatBoolNegField.vdmsl]36 msPassed
run[34: src/test/resources/dynamic_analysis/recinv/StateInitViolatesInv/StateInitViolatesInv.vdmsl]46 msPassed
run[34: src/test/resources/dynamic_analysis/recinv/StateInitViolatesInv/StateInitViolatesInv.vdmsl]41 msPassed
run[34: src/test/resources/dynamic_analysis/recinv/StateInitViolatesInv/StateInitViolatesInv.vdmsl]41 msPassed
run[34: src/test/resources/dynamic_analysis/recinv/StateInitViolatesInv/StateInitViolatesInv.vdmsl]46 msPassed
run[35: src/test/resources/dynamic_analysis/recinv/RecTypeDefInv/RecTypeDefInv.vdmsl]61 msPassed
run[35: src/test/resources/dynamic_analysis/recinv/RecTypeDefInv/RecTypeDefInv.vdmsl]61 msPassed
run[35: src/test/resources/dynamic_analysis/recinv/RecTypeDefInv/RecTypeDefInv.vdmsl]75 msPassed
run[35: src/test/resources/dynamic_analysis/recinv/RecTypeDefInv/RecTypeDefInv.vdmsl]75 msPassed
run[36: src/test/resources/dynamic_analysis/recinv/StateInv/StateInv.vdmsl]58 msPassed
run[36: src/test/resources/dynamic_analysis/recinv/StateInv/StateInv.vdmsl]61 msPassed
run[36: src/test/resources/dynamic_analysis/recinv/StateInv/StateInv.vdmsl]58 msPassed
run[36: src/test/resources/dynamic_analysis/recinv/StateInv/StateInv.vdmsl]61 msPassed
run[37: src/test/resources/dynamic_analysis/simple_pattern/Int/Int.vdmsl]38 msPassed
run[37: src/test/resources/dynamic_analysis/simple_pattern/Int/Int.vdmsl]39 msPassed
run[37: src/test/resources/dynamic_analysis/simple_pattern/Int/Int.vdmsl]38 msPassed
run[37: src/test/resources/dynamic_analysis/simple_pattern/Int/Int.vdmsl]39 msPassed
run[38: src/test/resources/dynamic_analysis/simple_pattern/Char/Char.vdmsl]69 msPassed
run[38: src/test/resources/dynamic_analysis/simple_pattern/Char/Char.vdmsl]69 msPassed
run[38: src/test/resources/dynamic_analysis/simple_pattern/Char/Char.vdmsl]55 msPassed
run[38: src/test/resources/dynamic_analysis/simple_pattern/Char/Char.vdmsl]55 msPassed
run[39: src/test/resources/dynamic_analysis/simple_pattern/Quote/Quote.vdmsl]52 msPassed
run[39: src/test/resources/dynamic_analysis/simple_pattern/Quote/Quote.vdmsl]52 msPassed
run[39: src/test/resources/dynamic_analysis/simple_pattern/Quote/Quote.vdmsl]43 msPassed
run[39: src/test/resources/dynamic_analysis/simple_pattern/Quote/Quote.vdmsl]43 msPassed
run[3: src/test/resources/dynamic_analysis/optionaltype/FuncReturnTokenViolation/FuncReturnTokenViolation.vdmsl]0.31 secPassed
run[3: src/test/resources/dynamic_analysis/optionaltype/FuncReturnTokenViolation/FuncReturnTokenViolation.vdmsl]0.31 secPassed
run[3: src/test/resources/dynamic_analysis/optionaltype/FuncReturnTokenViolation/FuncReturnTokenViolation.vdmsl]92 msPassed
run[3: src/test/resources/dynamic_analysis/optionaltype/FuncReturnTokenViolation/FuncReturnTokenViolation.vdmsl]92 msPassed
run[40: src/test/resources/dynamic_analysis/simple_pattern/String/String.vdmsl]40 msPassed
run[40: src/test/resources/dynamic_analysis/simple_pattern/String/String.vdmsl]34 msPassed
run[40: src/test/resources/dynamic_analysis/simple_pattern/String/String.vdmsl]40 msPassed
run[40: src/test/resources/dynamic_analysis/simple_pattern/String/String.vdmsl]34 msPassed
run[41: src/test/resources/dynamic_analysis/simple_pattern/Nil/Nil.vdmsl]47 msPassed
run[41: src/test/resources/dynamic_analysis/simple_pattern/Nil/Nil.vdmsl]47 msPassed
run[41: src/test/resources/dynamic_analysis/simple_pattern/Nil/Nil.vdmsl]47 msPassed
run[41: src/test/resources/dynamic_analysis/simple_pattern/Nil/Nil.vdmsl]47 msPassed
run[42: src/test/resources/dynamic_analysis/simple_pattern/Real/Real.vdmsl]47 msPassed
run[42: src/test/resources/dynamic_analysis/simple_pattern/Real/Real.vdmsl]47 msPassed
run[42: src/test/resources/dynamic_analysis/simple_pattern/Real/Real.vdmsl]49 msPassed
run[42: src/test/resources/dynamic_analysis/simple_pattern/Real/Real.vdmsl]49 msPassed
run[43: src/test/resources/dynamic_analysis/simple_pattern/Bool/Bool.vdmsl]40 msPassed
run[43: src/test/resources/dynamic_analysis/simple_pattern/Bool/Bool.vdmsl]82 msPassed
run[43: src/test/resources/dynamic_analysis/simple_pattern/Bool/Bool.vdmsl]82 msPassed
run[43: src/test/resources/dynamic_analysis/simple_pattern/Bool/Bool.vdmsl]40 msPassed
run[44: src/test/resources/dynamic_analysis/seqtype/Seq1AssignEmptySet/Seq1AssignEmptySet.vdmsl]88 msPassed
run[44: src/test/resources/dynamic_analysis/seqtype/Seq1AssignEmptySet/Seq1AssignEmptySet.vdmsl]88 msPassed
run[44: src/test/resources/dynamic_analysis/seqtype/Seq1AssignEmptySet/Seq1AssignEmptySet.vdmsl]33 msPassed
run[44: src/test/resources/dynamic_analysis/seqtype/Seq1AssignEmptySet/Seq1AssignEmptySet.vdmsl]33 msPassed
run[45: src/test/resources/dynamic_analysis/seqtype/SeqNat1BoolMaskedAsNamedTypeInv/SeqNat1BoolMaskedAsNamedTypeInv.vdmsl]55 msPassed
run[45: src/test/resources/dynamic_analysis/seqtype/SeqNat1BoolMaskedAsNamedTypeInv/SeqNat1BoolMaskedAsNamedTypeInv.vdmsl]73 msPassed
run[45: src/test/resources/dynamic_analysis/seqtype/SeqNat1BoolMaskedAsNamedTypeInv/SeqNat1BoolMaskedAsNamedTypeInv.vdmsl]55 msPassed
run[45: src/test/resources/dynamic_analysis/seqtype/SeqNat1BoolMaskedAsNamedTypeInv/SeqNat1BoolMaskedAsNamedTypeInv.vdmsl]73 msPassed
run[46: src/test/resources/dynamic_analysis/seqtype/SeqEven/SeqEven.vdmsl]51 msPassed
run[46: src/test/resources/dynamic_analysis/seqtype/SeqEven/SeqEven.vdmsl]45 msPassed
run[46: src/test/resources/dynamic_analysis/seqtype/SeqEven/SeqEven.vdmsl]51 msPassed
run[46: src/test/resources/dynamic_analysis/seqtype/SeqEven/SeqEven.vdmsl]45 msPassed
run[47: src/test/resources/dynamic_analysis/seqtype/Seq1EvenNatsMaskedAsNamedTypeInv/Seq1EvenNatsMaskedAsNamedTypeInv.vdmsl]55 msPassed
run[47: src/test/resources/dynamic_analysis/seqtype/Seq1EvenNatsMaskedAsNamedTypeInv/Seq1EvenNatsMaskedAsNamedTypeInv.vdmsl]55 msPassed
run[47: src/test/resources/dynamic_analysis/seqtype/Seq1EvenNatsMaskedAsNamedTypeInv/Seq1EvenNatsMaskedAsNamedTypeInv.vdmsl]55 msPassed
run[47: src/test/resources/dynamic_analysis/seqtype/Seq1EvenNatsMaskedAsNamedTypeInv/Seq1EvenNatsMaskedAsNamedTypeInv.vdmsl]55 msPassed
run[48: src/test/resources/dynamic_analysis/seqtype/SeqOfNatNilElem/SeqOfNatNilElem.vdmsl]49 msPassed
run[48: src/test/resources/dynamic_analysis/seqtype/SeqOfNatNilElem/SeqOfNatNilElem.vdmsl]49 msPassed
run[48: src/test/resources/dynamic_analysis/seqtype/SeqOfNatNilElem/SeqOfNatNilElem.vdmsl]50 msPassed
run[48: src/test/resources/dynamic_analysis/seqtype/SeqOfNatNilElem/SeqOfNatNilElem.vdmsl]50 msPassed
run[49: src/test/resources/dynamic_analysis/settype/SetOfNat/SetOfNat.vdmsl]45 msPassed
run[49: src/test/resources/dynamic_analysis/settype/SetOfNat/SetOfNat.vdmsl]45 msPassed
run[49: src/test/resources/dynamic_analysis/settype/SetOfNat/SetOfNat.vdmsl]37 msPassed
run[49: src/test/resources/dynamic_analysis/settype/SetOfNat/SetOfNat.vdmsl]37 msPassed
run[4: src/test/resources/dynamic_analysis/uniontype/RecWithRecFieldAtomicViolation/RecWithRecFieldAtomicViolation.vdmsl]0.28 secPassed
run[4: src/test/resources/dynamic_analysis/uniontype/RecWithRecFieldAtomicViolation/RecWithRecFieldAtomicViolation.vdmsl]0.64 secPassed
run[4: src/test/resources/dynamic_analysis/uniontype/RecWithRecFieldAtomicViolation/RecWithRecFieldAtomicViolation.vdmsl]0.64 secPassed
run[4: src/test/resources/dynamic_analysis/uniontype/RecWithRecFieldAtomicViolation/RecWithRecFieldAtomicViolation.vdmsl]0.28 secPassed
run[50: src/test/resources/dynamic_analysis/settype/SetPassNill/SetPassNil.vdmsl]39 msPassed
run[50: src/test/resources/dynamic_analysis/settype/SetPassNill/SetPassNil.vdmsl]56 msPassed
run[50: src/test/resources/dynamic_analysis/settype/SetPassNill/SetPassNil.vdmsl]56 msPassed
run[50: src/test/resources/dynamic_analysis/settype/SetPassNill/SetPassNil.vdmsl]39 msPassed
run[51: src/test/resources/dynamic_analysis/settype/SetEvenNamedTypeInv/SetEvenNamedTypeInv.vdmsl]61 msPassed
run[51: src/test/resources/dynamic_analysis/settype/SetEvenNamedTypeInv/SetEvenNamedTypeInv.vdmsl]57 msPassed
run[51: src/test/resources/dynamic_analysis/settype/SetEvenNamedTypeInv/SetEvenNamedTypeInv.vdmsl]57 msPassed
run[51: src/test/resources/dynamic_analysis/settype/SetEvenNamedTypeInv/SetEvenNamedTypeInv.vdmsl]61 msPassed
run[52: src/test/resources/dynamic_analysis/maptype/AssignNonInjMapToInjMap/AssignNonInjMapToInjMap.vdmsl]45 msPassed
run[52: src/test/resources/dynamic_analysis/maptype/AssignNonInjMapToInjMap/AssignNonInjMapToInjMap.vdmsl]42 msPassed
run[52: src/test/resources/dynamic_analysis/maptype/AssignNonInjMapToInjMap/AssignNonInjMapToInjMap.vdmsl]45 msPassed
run[52: src/test/resources/dynamic_analysis/maptype/AssignNonInjMapToInjMap/AssignNonInjMapToInjMap.vdmsl]42 msPassed
run[53: src/test/resources/dynamic_analysis/maptype/MapBoolToNatDetectNegInt/MapBoolToNatDetectNegInt.vdmsl]53 msPassed
run[53: src/test/resources/dynamic_analysis/maptype/MapBoolToNatDetectNegInt/MapBoolToNatDetectNegInt.vdmsl]46 msPassed
run[53: src/test/resources/dynamic_analysis/maptype/MapBoolToNatDetectNegInt/MapBoolToNatDetectNegInt.vdmsl]53 msPassed
run[53: src/test/resources/dynamic_analysis/maptype/MapBoolToNatDetectNegInt/MapBoolToNatDetectNegInt.vdmsl]46 msPassed
run[54: src/test/resources/dynamic_analysis/maptype/MapBoolToNatAssignNil/MapBoolToNatAssignNil.vdmsl]57 msPassed
run[54: src/test/resources/dynamic_analysis/maptype/MapBoolToNatAssignNil/MapBoolToNatAssignNil.vdmsl]54 msPassed
run[54: src/test/resources/dynamic_analysis/maptype/MapBoolToNatAssignNil/MapBoolToNatAssignNil.vdmsl]57 msPassed
run[54: src/test/resources/dynamic_analysis/maptype/MapBoolToNatAssignNil/MapBoolToNatAssignNil.vdmsl]54 msPassed
run[55: src/test/resources/dynamic_analysis/maptype/ReturnNonInjMapWhereInjMapRequired/ReturnNonInjMapWhereInjMapRequired.vdmsl]0.33 secPassed
run[55: src/test/resources/dynamic_analysis/maptype/ReturnNonInjMapWhereInjMapRequired/ReturnNonInjMapWhereInjMapRequired.vdmsl]0.33 secPassed
run[55: src/test/resources/dynamic_analysis/maptype/ReturnNonInjMapWhereInjMapRequired/ReturnNonInjMapWhereInjMapRequired.vdmsl]91 msPassed
run[55: src/test/resources/dynamic_analysis/maptype/ReturnNonInjMapWhereInjMapRequired/ReturnNonInjMapWhereInjMapRequired.vdmsl]91 msPassed
run[56: src/test/resources/dynamic_analysis/selector/TernaryIf/TernaryIf.vdmsl]74 msPassed
run[56: src/test/resources/dynamic_analysis/selector/TernaryIf/TernaryIf.vdmsl]0.27 secPassed
run[56: src/test/resources/dynamic_analysis/selector/TernaryIf/TernaryIf.vdmsl]0.27 secPassed
run[56: src/test/resources/dynamic_analysis/selector/TernaryIf/TernaryIf.vdmsl]74 msPassed
run[57: src/test/resources/dynamic_analysis/selector/LetBeStExp/LetBeStExp.vdmsl]0.25 secPassed
run[57: src/test/resources/dynamic_analysis/selector/LetBeStExp/LetBeStExp.vdmsl]78 msPassed
run[57: src/test/resources/dynamic_analysis/selector/LetBeStExp/LetBeStExp.vdmsl]78 msPassed
run[57: src/test/resources/dynamic_analysis/selector/LetBeStExp/LetBeStExp.vdmsl]0.25 secPassed
run[58: src/test/resources/dynamic_analysis/selector/CaseExp/CaseExp.vdmsl]63 msPassed
run[58: src/test/resources/dynamic_analysis/selector/CaseExp/CaseExp.vdmsl]63 msPassed
run[58: src/test/resources/dynamic_analysis/selector/CaseExp/CaseExp.vdmsl]0.15 secPassed
run[58: src/test/resources/dynamic_analysis/selector/CaseExp/CaseExp.vdmsl]0.15 secPassed
run[59: src/test/resources/dynamic_analysis/selector/LetBeStStm/LetBeStStm.vdmsl]0.23 secPassed
run[59: src/test/resources/dynamic_analysis/selector/LetBeStStm/LetBeStStm.vdmsl]0.23 secPassed
run[59: src/test/resources/dynamic_analysis/selector/LetBeStStm/LetBeStStm.vdmsl]54 msPassed
run[59: src/test/resources/dynamic_analysis/selector/LetBeStStm/LetBeStStm.vdmsl]54 msPassed
run[5: src/test/resources/dynamic_analysis/uniontype/OptionalBasicUnion/OptionalBasicUnion.vdmsl]78 msPassed
run[5: src/test/resources/dynamic_analysis/uniontype/OptionalBasicUnion/OptionalBasicUnion.vdmsl]68 msPassed
run[5: src/test/resources/dynamic_analysis/uniontype/OptionalBasicUnion/OptionalBasicUnion.vdmsl]78 msPassed
run[5: src/test/resources/dynamic_analysis/uniontype/OptionalBasicUnion/OptionalBasicUnion.vdmsl]68 msPassed
run[60: src/test/resources/dynamic_analysis/basictype/RealParamNil/RealParamNil.vdmsl]0.21 secPassed
run[60: src/test/resources/dynamic_analysis/basictype/RealParamNil/RealParamNil.vdmsl]32 msPassed
run[60: src/test/resources/dynamic_analysis/basictype/RealParamNil/RealParamNil.vdmsl]32 msPassed
run[60: src/test/resources/dynamic_analysis/basictype/RealParamNil/RealParamNil.vdmsl]0.21 secPassed
run[61: src/test/resources/dynamic_analysis/basictype/TokenAssignNil/TokenAssignNil.vdmsl]36 msPassed
run[61: src/test/resources/dynamic_analysis/basictype/TokenAssignNil/TokenAssignNil.vdmsl]0.13 secPassed
run[61: src/test/resources/dynamic_analysis/basictype/TokenAssignNil/TokenAssignNil.vdmsl]0.13 secPassed
run[61: src/test/resources/dynamic_analysis/basictype/TokenAssignNil/TokenAssignNil.vdmsl]36 msPassed
run[62: src/test/resources/dynamic_analysis/basictype/NatParamNil/NatParamNil.vdmsl]35 msPassed
run[62: src/test/resources/dynamic_analysis/basictype/NatParamNil/NatParamNil.vdmsl]0.17 secPassed
run[62: src/test/resources/dynamic_analysis/basictype/NatParamNil/NatParamNil.vdmsl]35 msPassed
run[62: src/test/resources/dynamic_analysis/basictype/NatParamNil/NatParamNil.vdmsl]0.17 secPassed
run[63: src/test/resources/dynamic_analysis/basictype/Nat1InitWithZero/Nat1InitWithZero.vdmsl]56 msPassed
run[63: src/test/resources/dynamic_analysis/basictype/Nat1InitWithZero/Nat1InitWithZero.vdmsl]0.18 secPassed
run[63: src/test/resources/dynamic_analysis/basictype/Nat1InitWithZero/Nat1InitWithZero.vdmsl]56 msPassed
run[63: src/test/resources/dynamic_analysis/basictype/Nat1InitWithZero/Nat1InitWithZero.vdmsl]0.18 secPassed
run[64: src/test/resources/dynamic_analysis/basictype/RatAssignBool/RatAssignBool.vdmsl]57 msPassed
run[64: src/test/resources/dynamic_analysis/basictype/RatAssignBool/RatAssignBool.vdmsl]0.12 secPassed
run[64: src/test/resources/dynamic_analysis/basictype/RatAssignBool/RatAssignBool.vdmsl]57 msPassed
run[64: src/test/resources/dynamic_analysis/basictype/RatAssignBool/RatAssignBool.vdmsl]0.12 secPassed
run[65: src/test/resources/dynamic_analysis/basictype/IntAssignNonInt/IntAssignNonInt.vdmsl]0.1 secPassed
run[65: src/test/resources/dynamic_analysis/basictype/IntAssignNonInt/IntAssignNonInt.vdmsl]0.1 secPassed
run[65: src/test/resources/dynamic_analysis/basictype/IntAssignNonInt/IntAssignNonInt.vdmsl]41 msPassed
run[65: src/test/resources/dynamic_analysis/basictype/IntAssignNonInt/IntAssignNonInt.vdmsl]41 msPassed
run[66: src/test/resources/dynamic_analysis/basictype/CharReturnNil/CharReturnNil.vdmsl]36 msPassed
run[66: src/test/resources/dynamic_analysis/basictype/CharReturnNil/CharReturnNil.vdmsl]35 msPassed
run[66: src/test/resources/dynamic_analysis/basictype/CharReturnNil/CharReturnNil.vdmsl]35 msPassed
run[66: src/test/resources/dynamic_analysis/basictype/CharReturnNil/CharReturnNil.vdmsl]36 msPassed
run[67: src/test/resources/dynamic_analysis/basictype/QuoteAssignNil/QuoteAssignNil.vdmsl]37 msPassed
run[67: src/test/resources/dynamic_analysis/basictype/QuoteAssignNil/QuoteAssignNil.vdmsl]37 msPassed
run[67: src/test/resources/dynamic_analysis/basictype/QuoteAssignNil/QuoteAssignNil.vdmsl]37 msPassed
run[67: src/test/resources/dynamic_analysis/basictype/QuoteAssignNil/QuoteAssignNil.vdmsl]37 msPassed
run[68: src/test/resources/dynamic_analysis/basictype/BoolReturnNil/BoolReturnNil.vdmsl]38 msPassed
run[68: src/test/resources/dynamic_analysis/basictype/BoolReturnNil/BoolReturnNil.vdmsl]34 msPassed
run[68: src/test/resources/dynamic_analysis/basictype/BoolReturnNil/BoolReturnNil.vdmsl]34 msPassed
run[68: src/test/resources/dynamic_analysis/basictype/BoolReturnNil/BoolReturnNil.vdmsl]38 msPassed
run[69: src/test/resources/dynamic_analysis/prepost/PostCond/PostCond.vdmsl]68 msPassed
run[69: src/test/resources/dynamic_analysis/prepost/PostCond/PostCond.vdmsl]77 msPassed
run[69: src/test/resources/dynamic_analysis/prepost/PostCond/PostCond.vdmsl]68 msPassed
run[69: src/test/resources/dynamic_analysis/prepost/PostCond/PostCond.vdmsl]77 msPassed
run[6: src/test/resources/dynamic_analysis/uniontype/RecTypesUnion/RecTypesUnion.vdmsl]0.13 secPassed
run[6: src/test/resources/dynamic_analysis/uniontype/RecTypesUnion/RecTypesUnion.vdmsl]94 msPassed
run[6: src/test/resources/dynamic_analysis/uniontype/RecTypesUnion/RecTypesUnion.vdmsl]0.13 secPassed
run[6: src/test/resources/dynamic_analysis/uniontype/RecTypesUnion/RecTypesUnion.vdmsl]94 msPassed
run[70: src/test/resources/dynamic_analysis/prepost/PreCond/PreCond.vdmsl]59 msPassed
run[70: src/test/resources/dynamic_analysis/prepost/PreCond/PreCond.vdmsl]57 msPassed
run[70: src/test/resources/dynamic_analysis/prepost/PreCond/PreCond.vdmsl]57 msPassed
run[70: src/test/resources/dynamic_analysis/prepost/PreCond/PreCond.vdmsl]59 msPassed
run[71: src/test/resources/dynamic_analysis/composed_pattern/TupLet/TupLet.vdmsl]45 msPassed
run[71: src/test/resources/dynamic_analysis/composed_pattern/TupLet/TupLet.vdmsl]39 msPassed
run[71: src/test/resources/dynamic_analysis/composed_pattern/TupLet/TupLet.vdmsl]39 msPassed
run[71: src/test/resources/dynamic_analysis/composed_pattern/TupLet/TupLet.vdmsl]45 msPassed
run[72: src/test/resources/dynamic_analysis/composed_pattern/RecParam/RecParam.vdmsl]43 msPassed
run[72: src/test/resources/dynamic_analysis/composed_pattern/RecParam/RecParam.vdmsl]43 msPassed
run[72: src/test/resources/dynamic_analysis/composed_pattern/RecParam/RecParam.vdmsl]47 msPassed
run[72: src/test/resources/dynamic_analysis/composed_pattern/RecParam/RecParam.vdmsl]47 msPassed
run[73: src/test/resources/dynamic_analysis/composed_pattern/TupParam/TupParam.vdmsl]35 msPassed
run[73: src/test/resources/dynamic_analysis/composed_pattern/TupParam/TupParam.vdmsl]38 msPassed
run[73: src/test/resources/dynamic_analysis/composed_pattern/TupParam/TupParam.vdmsl]38 msPassed
run[73: src/test/resources/dynamic_analysis/composed_pattern/TupParam/TupParam.vdmsl]35 msPassed
run[74: src/test/resources/dynamic_analysis/composed_pattern/RecLet/RecLet.vdmsl]42 msPassed
run[74: src/test/resources/dynamic_analysis/composed_pattern/RecLet/RecLet.vdmsl]44 msPassed
run[74: src/test/resources/dynamic_analysis/composed_pattern/RecLet/RecLet.vdmsl]44 msPassed
run[74: src/test/resources/dynamic_analysis/composed_pattern/RecLet/RecLet.vdmsl]42 msPassed
run[75: src/test/resources/dynamic_analysis/quantifier/Exists/Exists.vdmsl]38 msPassed
run[75: src/test/resources/dynamic_analysis/quantifier/Exists/Exists.vdmsl]38 msPassed
run[75: src/test/resources/dynamic_analysis/quantifier/Exists/Exists.vdmsl]36 msPassed
run[75: src/test/resources/dynamic_analysis/quantifier/Exists/Exists.vdmsl]36 msPassed
run[76: src/test/resources/dynamic_analysis/quantifier/Exists1/Exists1.vdmsl]42 msPassed
run[76: src/test/resources/dynamic_analysis/quantifier/Exists1/Exists1.vdmsl]41 msPassed
run[76: src/test/resources/dynamic_analysis/quantifier/Exists1/Exists1.vdmsl]42 msPassed
run[76: src/test/resources/dynamic_analysis/quantifier/Exists1/Exists1.vdmsl]41 msPassed
run[77: src/test/resources/dynamic_analysis/quantifier/ForAll/ForAll.vdmsl]34 msPassed
run[77: src/test/resources/dynamic_analysis/quantifier/ForAll/ForAll.vdmsl]33 msPassed
run[77: src/test/resources/dynamic_analysis/quantifier/ForAll/ForAll.vdmsl]34 msPassed
run[77: src/test/resources/dynamic_analysis/quantifier/ForAll/ForAll.vdmsl]33 msPassed
run[78: src/test/resources/dynamic_analysis/complexstatedes/ModifyRecInMap/ModifyRecInMap.vdmsl]77 msPassed
run[78: src/test/resources/dynamic_analysis/complexstatedes/ModifyRecInMap/ModifyRecInMap.vdmsl]69 msPassed
run[78: src/test/resources/dynamic_analysis/complexstatedes/ModifyRecInMap/ModifyRecInMap.vdmsl]69 msPassed
run[78: src/test/resources/dynamic_analysis/complexstatedes/ModifyRecInMap/ModifyRecInMap.vdmsl]77 msPassed
run[79: src/test/resources/dynamic_analysis/complexstatedes/NamedTypeInvUnionTypeRec/NamedTypeInvUnionTypeRec.vdmsl]0.13 secPassed
run[79: src/test/resources/dynamic_analysis/complexstatedes/NamedTypeInvUnionTypeRec/NamedTypeInvUnionTypeRec.vdmsl]0.13 secPassed
run[79: src/test/resources/dynamic_analysis/complexstatedes/NamedTypeInvUnionTypeRec/NamedTypeInvUnionTypeRec.vdmsl]0.12 secPassed
run[79: src/test/resources/dynamic_analysis/complexstatedes/NamedTypeInvUnionTypeRec/NamedTypeInvUnionTypeRec.vdmsl]0.12 secPassed
run[7: src/test/resources/dynamic_analysis/uniontype/CharUnionEven/CharUnionEven.vdmsl]64 msPassed
run[7: src/test/resources/dynamic_analysis/uniontype/CharUnionEven/CharUnionEven.vdmsl]74 msPassed
run[7: src/test/resources/dynamic_analysis/uniontype/CharUnionEven/CharUnionEven.vdmsl]64 msPassed
run[7: src/test/resources/dynamic_analysis/uniontype/CharUnionEven/CharUnionEven.vdmsl]74 msPassed
run[80: src/test/resources/dynamic_analysis/complexstatedes/RecWithMapOfRec/RecWithMapOfRec.vdmsl]54 msPassed
run[80: src/test/resources/dynamic_analysis/complexstatedes/RecWithMapOfRec/RecWithMapOfRec.vdmsl]54 msPassed
run[80: src/test/resources/dynamic_analysis/complexstatedes/RecWithMapOfRec/RecWithMapOfRec.vdmsl]70 msPassed
run[80: src/test/resources/dynamic_analysis/complexstatedes/RecWithMapOfRec/RecWithMapOfRec.vdmsl]70 msPassed
run[81: src/test/resources/dynamic_analysis/complexstatedes/RecInRecInAtomic/RecInRecInAtomic.vdmsl]72 msPassed
run[81: src/test/resources/dynamic_analysis/complexstatedes/RecInRecInAtomic/RecInRecInAtomic.vdmsl]74 msPassed
run[81: src/test/resources/dynamic_analysis/complexstatedes/RecInRecInAtomic/RecInRecInAtomic.vdmsl]74 msPassed
run[81: src/test/resources/dynamic_analysis/complexstatedes/RecInRecInAtomic/RecInRecInAtomic.vdmsl]72 msPassed
run[82: src/test/resources/dynamic_analysis/complexstatedes/RecInRecInvViolation/RecInRecInvViolation.vdmsl]69 msPassed
run[82: src/test/resources/dynamic_analysis/complexstatedes/RecInRecInvViolation/RecInRecInvViolation.vdmsl]69 msPassed
run[82: src/test/resources/dynamic_analysis/complexstatedes/RecInRecInvViolation/RecInRecInvViolation.vdmsl]83 msPassed
run[82: src/test/resources/dynamic_analysis/complexstatedes/RecInRecInvViolation/RecInRecInvViolation.vdmsl]83 msPassed
run[83: src/test/resources/dynamic_analysis/complexstatedes/MaskedRecNamedTypeInv/MaskedRecNamedTypeInv.vdmsl]70 msPassed
run[83: src/test/resources/dynamic_analysis/complexstatedes/MaskedRecNamedTypeInv/MaskedRecNamedTypeInv.vdmsl]79 msPassed
run[83: src/test/resources/dynamic_analysis/complexstatedes/MaskedRecNamedTypeInv/MaskedRecNamedTypeInv.vdmsl]70 msPassed
run[83: src/test/resources/dynamic_analysis/complexstatedes/MaskedRecNamedTypeInv/MaskedRecNamedTypeInv.vdmsl]79 msPassed
run[84: src/test/resources/dynamic_analysis/complexstatedes/MaskedRecInvViolated/MaskedRecInvViolated.vdmsl]70 msPassed
run[84: src/test/resources/dynamic_analysis/complexstatedes/MaskedRecInvViolated/MaskedRecInvViolated.vdmsl]74 msPassed
run[84: src/test/resources/dynamic_analysis/complexstatedes/MaskedRecInvViolated/MaskedRecInvViolated.vdmsl]74 msPassed
run[84: src/test/resources/dynamic_analysis/complexstatedes/MaskedRecInvViolated/MaskedRecInvViolated.vdmsl]70 msPassed
run[8: src/test/resources/dynamic_analysis/uniontype/RecWithRecFieldUpdate/RecWithRecFieldUpdate.vdmsl]0.26 secPassed
run[8: src/test/resources/dynamic_analysis/uniontype/RecWithRecFieldUpdate/RecWithRecFieldUpdate.vdmsl]0.13 secPassed
run[8: src/test/resources/dynamic_analysis/uniontype/RecWithRecFieldUpdate/RecWithRecFieldUpdate.vdmsl]0.26 secPassed
run[8: src/test/resources/dynamic_analysis/uniontype/RecWithRecFieldUpdate/RecWithRecFieldUpdate.vdmsl]0.13 secPassed
run[9: src/test/resources/dynamic_analysis/uniontype/RecWithRecFieldAtomicNoViolation/RecWithRecFieldAtomicNoViolation.vdmsl]0.21 secPassed
run[9: src/test/resources/dynamic_analysis/uniontype/RecWithRecFieldAtomicNoViolation/RecWithRecFieldAtomicNoViolation.vdmsl]0.1 secPassed
run[9: src/test/resources/dynamic_analysis/uniontype/RecWithRecFieldAtomicNoViolation/RecWithRecFieldAtomicNoViolation.vdmsl]0.21 secPassed
run[9: src/test/resources/dynamic_analysis/uniontype/RecWithRecFieldAtomicNoViolation/RecWithRecFieldAtomicNoViolation.vdmsl]0.1 secPassed