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