Test Result : JmlOutputTests

0 failures (±0)
85 tests (±0)
Took 6.6 sec.

All Tests

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