Test Result : ComplexExpOutputTest

0 failures (±0)
174 tests (±0)
Took 2.3 sec.

All Tests

Test nameDurationStatus
testCase[0 : MapCompReturnThreePatternsCond.vdmpp]11 msPassed
testCase[1 : CallStmInherited.vdmpp]23 msPassed
testCase[10 : seq_of_char2val.vdmpp]33 msPassed
testCase[100 : OrExpExistsExps.vdmpp]17 msPassed
testCase[101 : OrExpEvalOrder.vdmpp]21 msPassed
testCase[102 : InheritedFieldAccess.vdmpp]11 msPassed
testCase[103 : MapSeqStateDesignatorMapSeqToSeq.vdmpp]11 msPassed
testCase[104 : SetCompTransformedElement.vdmpp]10 msPassed
testCase[105 : BlockStmScoping.vdmpp]8 msPassed
testCase[106 : ApplyObjectDesignatorMapType.vdmpp]26 msPassed
testCase[107 : MapSeqStateDesignatorMapUpdate.vdmpp]10 msPassed
testCase[108 : ElseIfWithSetComp.vdmpp]12 msPassed
testCase[109 : MultipleInheritanceFullyAbstract.vdmpp]20 msPassed
testCase[11 : ExistsExpBlockStm.vdmpp]16 msPassed
testCase[110 : UnknownTypeArgInNewExp.vdmpp]16 msPassed
testCase[111 : MethodInstantiation.vdmpp]31 msPassed
testCase[112 : FieldDesignatorOfRecObjChainOfThree.vdmpp]20 msPassed
testCase[113 : LetBeStExpInLetDef.vdmpp]13 msPassed
testCase[114 : RecModExpForAllExp.vdmpp]20 msPassed
testCase[115 : MapCompSeveralMultipleSetBindsCond3.vdmpp]14 msPassed
testCase[116 : ForAllExpSeveralMultipleSetBindsCond1.vdmpp]15 msPassed
testCase[117 : ApplyObjectDesignatorWithRecFieldObj1.vdmpp]18 msPassed
testCase[118 : AndExpEvalOrder.vdmpp]19 msPassed
testCase[119 : LetBeStRemoveSet.vdmpp]10 msPassed
testCase[12 : InvokeOverrideCallStm.vdmpp]14 msPassed
testCase[120 : ForAllRemoveAllMultipleSetBinds.vdmpp]8 msPassed
testCase[121 : MapCompMultipleSeqBind.vdmpp]16 msPassed
testCase[122 : InvokeSuperCallStm.vdmpp]12 msPassed
testCase[123 : LetBeStWithCond.vdmpp]12 msPassed
testCase[124 : SetCompMultipleSeqBind.vdmpp]10 msPassed
testCase[125 : IfExpPlusOperand.vdmpp]11 msPassed
testCase[126 : Exists1ExpInLet.vdmpp]13 msPassed
testCase[127 : SeqCompRemoveEmptySet.vdmpp]9 msPassed
testCase[128 : LetBeStTransformedCond.vdmpp]13 msPassed
testCase[129 : MapCompRemoveOneOfTwoMultipleSetBinds.vdmpp]9 msPassed
testCase[13 : LetBeStSeqBindNoCond.vdmpp]12 msPassed
testCase[130 : ApplyObjectDesignatorNoClone.vdmpp]12 msPassed
testCase[131 : ExplicitNameCallStm.vdmpp]10 msPassed
testCase[132 : MapCompReturned.vdmpp]11 msPassed
testCase[133 : DeadCodeNestedBlocks.vdmpp]7 msPassed
testCase[134 : DeflattenLetBeStStm.vdmpp]12 msPassed
testCase[135 : AndExpAndChainInForAll.vdmpp]16 msPassed
testCase[136 : AtomicStm.vdmpp]10 msPassed
testCase[137 : Exist1ExpTransformedCond.vdmpp]12 msPassed
testCase[138 : SeqConversion.vdmpp]19 msPassed
testCase[139 : SeqCompBlockStm.vdmpp]14 msPassed
testCase[14 : SeqCompInOpCallInLoop.vdmpp]15 msPassed
testCase[140 : OptionallyTypedSetComparison.vdmpp]7 msPassed
testCase[141 : SuperOpCallOfOverwrittenOp.vdmpp]12 msPassed
testCase[142 : ReturnVoidOpEval.vdmpp]9 msPassed
testCase[143 : HdExpNumberDeref.vdmpp]14 msPassed
testCase[144 : Exists1ExpBlockStm.vdmpp]16 msPassed
testCase[145 : AbsNumberDereference.vdmpp]6 msPassed
testCase[146 : HideInstanceVarAndField.vdmpp]11 msPassed
testCase[147 : ExistsExpInIfExp.vdmpp]10 msPassed
testCase[148 : ObjectMethodViolations.vdmpp]15 msPassed
testCase[149 : SetCompRemoveAllMultipleSetBinds.vdmpp]7 msPassed
testCase[15 : LetBeStThreeBindsCond.vdmpp]15 msPassed
testCase[150 : MapComposition.vdmpp]7 msPassed
testCase[151 : FieldDesignatorOfRecObjChainOfTwo.vdmpp]17 msPassed
testCase[152 : PolymorphicTypeInUnion.vdmpp]10 msPassed
testCase[153 : ApplyObjectDesignatorWithRecFieldObj2.vdmpp]20 msPassed
testCase[154 : ApplyObjectDesignatorField.vdmpp]14 msPassed
testCase[155 : LetBeExpWithLetExp.vdmpp]12 msPassed
testCase[156 : SetCompInOpCallInLoop.vdmpp]15 msPassed
testCase[157 : ExistsExpReturned.vdmpp]11 msPassed
testCase[158 : RecordValue.vdmpp]20 msPassed
testCase[159 : Exists1ExpInIfExp.vdmpp]24 msPassed
testCase[16 : IotaExpPlus.vdmpp]15 msPassed
testCase[160 : IndsOfUnionTypeVal.vdmpp]16 msPassed
testCase[161 : FieldDesignatorOfRecObj.vdmpp]17 msPassed
testCase[162 : ExistsExpInLet.vdmpp]13 msPassed
testCase[163 : NarrowTupleFieldAccess.vdmpp]8 msPassed
testCase[164 : MapCompSeveralMultipleSetBindsCond2.vdmpp]14 msPassed
testCase[165 : LetBeStNoCondSetSum.vdmpp]13 msPassed
testCase[166 : EqualsOptionalType.vdmpp]8 msPassed
testCase[167 : LetBeStExpRemoveSet.vdmpp]16 msPassed
testCase[168 : SetCompSeveralMultipleSetBindsNoCond.vdmpp]15 msPassed
testCase[169 : ForAllMultipleSeqBind.vdmpp]12 msPassed
testCase[17 : LetBeStExpSimpleNoCond.vdmpp]12 msPassed
testCase[170 : ConcatSeqMaskedAsUnions.vdmpp]11 msPassed
testCase[171 : ExistsSeqBind.vdmpp]11 msPassed
testCase[172 : LetBeStExpInBlock.vdmpp]13 msPassed
testCase[173 : MapSeqStateDesignatorSeqUpdate.vdmpp]8 msPassed
testCase[18 : InheritedFuncInvoke.vdmpp]9 msPassed
testCase[19 : EqualsDef.vdmpp]8 msPassed
testCase[2 : Exists1ExpReturned.vdmpp]14 msPassed
testCase[20 : ForAllExpInLet.vdmpp]12 msPassed
testCase[21 : OptionallyTypedTupleComp.vdmpp]7 msPassed
testCase[22 : ForAllExpTransformedCond.vdmpp]11 msPassed
testCase[23 : MathLibFuncResults.vdmpp]22 msPassed
testCase[24 : UnaryPlusExpArgToFunc.vdmpp]8 msPassed
testCase[25 : DeflattenLetDefExp.vdmpp]15 msPassed
testCase[26 : MapCompInLet.vdmpp]14 msPassed
testCase[27 : SetCompSeqBind.vdmpp]10 msPassed
testCase[28 : NonDetStm.vdmpp]5 msPassed
testCase[29 : RecNoFieldNames.vdmpp]16 msPassed
testCase[3 : EmptyRecords.vdmpp]11 msPassed
testCase[30 : ForAllExpReturned.vdmpp]11 msPassed
testCase[31 : LetBeStExpSetSum.vdmpp]16 msPassed
testCase[32 : AndExpForAllExps.vdmpp]19 msPassed
testCase[33 : SeqCompTransformedElement.vdmpp]12 msPassed
testCase[34 : RecordUsageAcrossClass.vdmpp]12 msPassed
testCase[35 : IotaExpReturned.vdmpp]12 msPassed
testCase[36 : RecModExpVarExp.vdmpp]17 msPassed
testCase[37 : IfExpAndExpBranch.vdmpp]16 msPassed
testCase[38 : SeqModWithVarOperands.vdmpp]11 msPassed
testCase[39 : ExistExpTransformedCond.vdmpp]12 msPassed
testCase[4 : ForAllExpInIfExp.vdmpp]11 msPassed
testCase[40 : SeqCompSeqBind.vdmpp]10 msPassed
testCase[41 : LetBeStExpInReturnWithCond.vdmpp]15 msPassed
testCase[42 : SetCompRemoveOneOfTwoMultipleSetBinds.vdmpp]9 msPassed
testCase[43 : ApplyObjectDesignatorClone.vdmpp]22 msPassed
testCase[44 : OptionalTypedNumberEqual.vdmpp]8 msPassed
testCase[45 : IotaExpInLet.vdmpp]16 msPassed
testCase[46 : StaticOpCallReservedClassName.vdmpp]10 msPassed
testCase[47 : NarrowSubclassInvokeOp.vdmpp]13 msPassed
testCase[48 : LetBeStExpInFuncWithCond.vdmpp]20 msPassed
testCase[49 : TokenType.vdmpp]10 msPassed
testCase[5 : RecModExpArgToApplyExp.vdmpp]18 msPassed
testCase[50 : LetBeStThreeBindsNoCond.vdmpp]17 msPassed
testCase[51 : MapCompInOpCallInLoop.vdmpp]21 msPassed
testCase[52 : ForAllExpBlockStm.vdmpp]18 msPassed
testCase[53 : LetBeStMultipleSeqBindCond.vdmpp]18 msPassed
testCase[54 : RecordComp.vdmpp]63 msPassed
testCase[55 : SetRangeValueIndices.vdmpp]11 msPassed
testCase[56 : HdOfUnionTypeVal.vdmpp]13 msPassed
testCase[57 : SetCompInLet.vdmpp]12 msPassed
testCase[58 : MapSeqStateDesignatorChangeRecField.vdmpp]17 msPassed
testCase[59 : SelfExpAsArg.vdmpp]9 msPassed
testCase[6 : RecModExpInRecModExp.vdmpp]22 msPassed
testCase[60 : WhileStmForAllExpCond.vdmpp]15 msPassed
testCase[61 : MapCompSeveralMultipleSetBindsCond1.vdmpp]13 msPassed
testCase[62 : Exists1SeqBind.vdmpp]10 msPassed
testCase[63 : WhileStmSetSum.vdmpp]15 msPassed
testCase[64 : MathAbsFloorPower.vdmpp]10 msPassed
testCase[65 : ExplicitNameVarExp.vdmpp]9 msPassed
testCase[66 : MapCompSeveralMultipleSetBindsNoCond.vdmpp]15 msPassed
testCase[67 : MapSeqStateDesignatorMapInMap.vdmpp]12 msPassed
testCase[68 : DeflattenBlockStm.vdmpp]13 msPassed
testCase[69 : LetBeStExpSeqBind.vdmpp]12 msPassed
testCase[7 : QuoteLitComparison.vdmpp]14 msPassed
testCase[70 : ExitStm.vdmpp]8 msPassed
testCase[71 : BracketTypeUnionArgInExtendedExplicitOp.vdmpp]15 msPassed
testCase[72 : AndExpChain.vdmpp]19 msPassed
testCase[73 : SetCompSeveralMultipleSetBindsCond2.vdmpp]12 msPassed
testCase[74 : OrExpChain.vdmpp]19 msPassed
testCase[75 : MapCompBlockStm.vdmpp]14 msPassed
testCase[76 : RecursiveNamedTypeMapApply.vdmpp]20 msPassed
testCase[77 : UnaryMinusExpArgToFunc.vdmpp]9 msPassed
testCase[78 : ApplyObjectDesignatorMapLookup.vdmpp]13 msPassed
testCase[79 : RecModExpSimple1.vdmpp]14 msPassed
testCase[8 : LetBeStExpTransformedCond.vdmpp]14 msPassed
testCase[80 : OrExpOrChainInForAll.vdmpp]15 msPassed
testCase[81 : OptionallyTypedRecordFieldComparison.vdmpp]18 msPassed
testCase[82 : SetCompSeveralMultipleSetBindsCond1.vdmpp]12 msPassed
testCase[83 : SeqCompReturned.vdmpp]12 msPassed
testCase[84 : NotEqualsOptionalType.vdmpp]8 msPassed
testCase[85 : ForAllRemoveOneOfTwoMultipleSetBinds.vdmpp]8 msPassed
testCase[86 : MapCompTransformedMaplet.vdmpp]12 msPassed
testCase[87 : MapSeqStateDesignatorNesting.vdmpp]14 msPassed
testCase[88 : SetCompSeveralMultipleSetBindsCond3.vdmpp]13 msPassed
testCase[89 : NarrowRecordFieldAccess.vdmpp]13 msPassed
testCase[9 : MapIteration.vdmpp]7 msPassed
testCase[90 : SetCompReturnThreePatternsCond.vdmpp]10 msPassed
testCase[91 : MapSeqStateDesignatorSeqInSeqInSeq.vdmpp]11 msPassed
testCase[92 : ExistsExpSeveralMultipleSetBindsCond1.vdmpp]13 msPassed
testCase[93 : SuperConstructors.vdmpp]26 msPassed
testCase[94 : Exists1ExpBindRemoved.vdmpp]9 msPassed
testCase[95 : ExistsRemoveOneOfTwoMultipleSetBinds.vdmpp]8 msPassed
testCase[96 : SetCompBlockStm.vdmpp]13 msPassed
testCase[97 : SeqCompInLet.vdmpp]12 msPassed
testCase[98 : ExistsRemoveAllMultipleSetBinds.vdmpp]7 msPassed
testCase[99 : MapCompRemoveAllMultipleSetBinds.vdmpp]8 msPassed