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