Test Result : ComplexExpJavaGenTest

0 failures
174 tests
Took 4 min 5 sec.

All Tests

Test nameDurationStatus
test[AbsNumberDereference.vdmpp]1.1 secPassed
test[AndExpAndChainInForAll.vdmpp]1.1 secPassed
test[AndExpChain.vdmpp]2.1 secPassed
test[AndExpEvalOrder.vdmpp]1.5 secPassed
test[AndExpForAllExps.vdmpp]1.3 secPassed
test[ApplyObjectDesignatorClone.vdmpp]2.1 secPassed
test[ApplyObjectDesignatorField.vdmpp]1.9 secPassed
test[ApplyObjectDesignatorMapLookup.vdmpp]0.95 secPassed
test[ApplyObjectDesignatorMapType.vdmpp]1.4 secPassed
test[ApplyObjectDesignatorNoClone.vdmpp]1.9 secPassed
test[ApplyObjectDesignatorWithRecFieldObj1.vdmpp]1.6 secPassed
test[ApplyObjectDesignatorWithRecFieldObj2.vdmpp]1.6 secPassed
test[AtomicStm.vdmpp]1.4 secPassed
test[BlockStmScoping.vdmpp]1.4 secPassed
test[BracketTypeUnionArgInExtendedExplicitOp.vdmpp]1.5 secPassed
test[CallStmInherited.vdmpp]1.7 secPassed
test[ConcatSeqMaskedAsUnions.vdmpp]1.7 secPassed
test[DeadCodeNestedBlocks.vdmpp]1.5 secPassed
test[DeflattenBlockStm.vdmpp]1.9 secPassed
test[DeflattenLetBeStStm.vdmpp]3.3 secPassed
test[DeflattenLetDefExp.vdmpp]1.7 secPassed
test[ElseIfWithSetComp.vdmpp]2.3 secPassed
test[EmptyRecords.vdmpp]1.5 secPassed
test[EqualsDef.vdmpp]0.94 secPassed
test[EqualsOptionalType.vdmpp]1 secPassed
test[Exist1ExpTransformedCond.vdmpp]1.1 secPassed
test[ExistExpTransformedCond.vdmpp]1.5 secPassed
test[Exists1ExpBindRemoved.vdmpp]1.6 secPassed
test[Exists1ExpBlockStm.vdmpp]0.94 secPassed
test[Exists1ExpInIfExp.vdmpp]1.1 secPassed
test[Exists1ExpInLet.vdmpp]1 secPassed
test[Exists1ExpReturned.vdmpp]1 secPassed
test[Exists1SeqBind.vdmpp]1 secPassed
test[ExistsExpBlockStm.vdmpp]1.1 secPassed
test[ExistsExpInIfExp.vdmpp]0.88 secPassed
test[ExistsExpInLet.vdmpp]0.94 secPassed
test[ExistsExpReturned.vdmpp]0.99 secPassed
test[ExistsExpSeveralMultipleSetBindsCond1.vdmpp]1.1 secPassed
test[ExistsRemoveAllMultipleSetBinds.vdmpp]0.87 secPassed
test[ExistsRemoveOneOfTwoMultipleSetBinds.vdmpp]0.95 secPassed
test[ExistsSeqBind.vdmpp]0.93 secPassed
test[ExitStm.vdmpp]0.87 secPassed
test[ExplicitNameCallStm.vdmpp]0.88 secPassed
test[ExplicitNameVarExp.vdmpp]1 secPassed
test[FieldDesignatorOfRecObj.vdmpp]0.97 secPassed
test[FieldDesignatorOfRecObjChainOfThree.vdmpp]0.93 secPassed
test[FieldDesignatorOfRecObjChainOfTwo.vdmpp]0.98 secPassed
test[ForAllExpBlockStm.vdmpp]1 secPassed
test[ForAllExpInIfExp.vdmpp]1.2 secPassed
test[ForAllExpInLet.vdmpp]1.6 secPassed
test[ForAllExpReturned.vdmpp]2 secPassed
test[ForAllExpSeveralMultipleSetBindsCond1.vdmpp]1.6 secPassed
test[ForAllExpTransformedCond.vdmpp]1.5 secPassed
test[ForAllMultipleSeqBind.vdmpp]1.2 secPassed
test[ForAllRemoveAllMultipleSetBinds.vdmpp]1.4 secPassed
test[ForAllRemoveOneOfTwoMultipleSetBinds.vdmpp]1.6 secPassed
test[HdExpNumberDeref.vdmpp]1.9 secPassed
test[HdOfUnionTypeVal.vdmpp]1.7 secPassed
test[HideInstanceVarAndField.vdmpp]1.5 secPassed
test[IfExpAndExpBranch.vdmpp]1.8 secPassed
test[IfExpPlusOperand.vdmpp]1.9 secPassed
test[IndsOfUnionTypeVal.vdmpp]1.4 secPassed
test[InheritedFieldAccess.vdmpp]1.2 secPassed
test[InheritedFuncInvoke.vdmpp]1.6 secPassed
test[InvokeOverrideCallStm.vdmpp]1.8 secPassed
test[InvokeSuperCallStm.vdmpp]1.3 secPassed
test[IotaExpInLet.vdmpp]1.3 secPassed
test[IotaExpPlus.vdmpp]1.5 secPassed
test[IotaExpReturned.vdmpp]1.8 secPassed
test[LetBeExpWithLetExp.vdmpp]1 secPassed
test[LetBeStExpInBlock.vdmpp]1.4 secPassed
test[LetBeStExpInFuncWithCond.vdmpp]1.2 secPassed
test[LetBeStExpInLetDef.vdmpp]1.7 secPassed
test[LetBeStExpInReturnWithCond.vdmpp]1.6 secPassed
test[LetBeStExpRemoveSet.vdmpp]1.1 secPassed
test[LetBeStExpSeqBind.vdmpp]1.4 secPassed
test[LetBeStExpSetSum.vdmpp]1.7 secPassed
test[LetBeStExpSimpleNoCond.vdmpp]1.2 secPassed
test[LetBeStExpTransformedCond.vdmpp]1.7 secPassed
test[LetBeStMultipleSeqBindCond.vdmpp]1.5 secPassed
test[LetBeStNoCondSetSum.vdmpp]2 secPassed
test[LetBeStRemoveSet.vdmpp]1.8 secPassed
test[LetBeStSeqBindNoCond.vdmpp]1.8 secPassed
test[LetBeStThreeBindsCond.vdmpp]1.3 secPassed
test[LetBeStThreeBindsNoCond.vdmpp]1.1 secPassed
test[LetBeStTransformedCond.vdmpp]1.5 secPassed
test[LetBeStWithCond.vdmpp]1.7 secPassed
test[MapCompBlockStm.vdmpp]1.7 secPassed
test[MapCompInLet.vdmpp]1.3 secPassed
test[MapCompInOpCallInLoop.vdmpp]1.2 secPassed
test[MapCompMultipleSeqBind.vdmpp]1.1 secPassed
test[MapCompRemoveAllMultipleSetBinds.vdmpp]1.2 secPassed
test[MapCompRemoveOneOfTwoMultipleSetBinds.vdmpp]1.1 secPassed
test[MapCompReturnThreePatternsCond.vdmpp]1.4 secPassed
test[MapCompReturned.vdmpp]1 secPassed
test[MapCompSeveralMultipleSetBindsCond1.vdmpp]2.1 secPassed
test[MapCompSeveralMultipleSetBindsCond2.vdmpp]4.2 secPassed
test[MapCompSeveralMultipleSetBindsCond3.vdmpp]1.3 secPassed
test[MapCompSeveralMultipleSetBindsNoCond.vdmpp]1.8 secPassed
test[MapCompTransformedMaplet.vdmpp]1.6 secPassed
test[MapComposition.vdmpp]1.4 secPassed
test[MapIteration.vdmpp]1.3 secPassed
test[MapSeqStateDesignatorChangeRecField.vdmpp]1.3 secPassed
test[MapSeqStateDesignatorMapInMap.vdmpp]1.1 secPassed
test[MapSeqStateDesignatorMapSeqToSeq.vdmpp]1.5 secPassed
test[MapSeqStateDesignatorMapUpdate.vdmpp]1.9 secPassed
test[MapSeqStateDesignatorNesting.vdmpp]1.7 secPassed
test[MapSeqStateDesignatorSeqInSeqInSeq.vdmpp]1.6 secPassed
test[MapSeqStateDesignatorSeqUpdate.vdmpp]1.6 secPassed
test[MathAbsFloorPower.vdmpp]1.5 secPassed
test[MathLibFuncResults.vdmpp]1.2 secPassed
test[MethodInstantiation.vdmpp]1.2 secPassed
test[MultipleInheritanceFullyAbstract.vdmpp]1.3 secPassed
test[NarrowRecordFieldAccess.vdmpp]1 secPassed
test[NarrowSubclassInvokeOp.vdmpp]1.2 secPassed
test[NarrowTupleFieldAccess.vdmpp]1.3 secPassed
test[NonDetStm.vdmpp]1.1 secPassed
test[NotEqualsOptionalType.vdmpp]1 secPassed
test[ObjectMethodViolations.vdmpp]1.1 secPassed
test[OptionalTypedNumberEqual.vdmpp]1.1 secPassed
test[OptionallyTypedRecordFieldComparison.vdmpp]1.6 secPassed
test[OptionallyTypedSetComparison.vdmpp]2.6 secPassed
test[OptionallyTypedTupleComp.vdmpp]1 secPassed
test[OrExpChain.vdmpp]1.4 secPassed
test[OrExpEvalOrder.vdmpp]1.4 secPassed
test[OrExpExistsExps.vdmpp]1.1 secPassed
test[OrExpOrChainInForAll.vdmpp]1.2 secPassed
test[PolymorphicTypeInUnion.vdmpp]0.92 secPassed
test[QuoteLitComparison.vdmpp]1 secPassed
test[RecModExpArgToApplyExp.vdmpp]1.4 secPassed
test[RecModExpForAllExp.vdmpp]1 secPassed
test[RecModExpInRecModExp.vdmpp]1.1 secPassed
test[RecModExpSimple1.vdmpp]1.7 secPassed
test[RecModExpVarExp.vdmpp]2 secPassed
test[RecNoFieldNames.vdmpp]2.1 secPassed
test[RecordComp.vdmpp]1 secPassed
test[RecordUsageAcrossClass.vdmpp]1.2 secPassed
test[RecordValue.vdmpp]1.3 secPassed
test[RecursiveNamedTypeMapApply.vdmpp]1 secPassed
test[ReturnVoidOpEval.vdmpp]0.93 secPassed
test[SelfExpAsArg.vdmpp]0.97 secPassed
test[SeqCompBlockStm.vdmpp]1.3 secPassed
test[SeqCompInLet.vdmpp]1.1 secPassed
test[SeqCompInOpCallInLoop.vdmpp]1.1 secPassed
test[SeqCompRemoveEmptySet.vdmpp]1.3 secPassed
test[SeqCompReturned.vdmpp]2.9 secPassed
test[SeqCompSeqBind.vdmpp]1.3 secPassed
test[SeqCompTransformedElement.vdmpp]0.87 secPassed
test[SeqConversion.vdmpp]1.2 secPassed
test[SeqModWithVarOperands.vdmpp]1.7 secPassed
test[SetCompBlockStm.vdmpp]1.3 secPassed
test[SetCompInLet.vdmpp]0.93 secPassed
test[SetCompInOpCallInLoop.vdmpp]1 secPassed
test[SetCompMultipleSeqBind.vdmpp]1.2 secPassed
test[SetCompRemoveAllMultipleSetBinds.vdmpp]0.93 secPassed
test[SetCompRemoveOneOfTwoMultipleSetBinds.vdmpp]0.8 secPassed
test[SetCompReturnThreePatternsCond.vdmpp]0.89 secPassed
test[SetCompSeqBind.vdmpp]0.99 secPassed
test[SetCompSeveralMultipleSetBindsCond1.vdmpp]0.92 secPassed
test[SetCompSeveralMultipleSetBindsCond2.vdmpp]0.98 secPassed
test[SetCompSeveralMultipleSetBindsCond3.vdmpp]0.96 secPassed
test[SetCompSeveralMultipleSetBindsNoCond.vdmpp]1.1 secPassed
test[SetCompTransformedElement.vdmpp]1.3 secPassed
test[SetRangeValueIndices.vdmpp]1.1 secPassed
test[StaticOpCallReservedClassName.vdmpp]0.85 secPassed
test[SuperConstructors.vdmpp]1.2 secPassed
test[SuperOpCallOfOverwrittenOp.vdmpp]1.3 secPassed
test[TokenType.vdmpp]1.1 secPassed
test[UnaryMinusExpArgToFunc.vdmpp]0.86 secPassed
test[UnaryPlusExpArgToFunc.vdmpp]0.82 secPassed
test[UnknownTypeArgInNewExp.vdmpp]0.97 secPassed
test[WhileStmForAllExpCond.vdmpp]1.4 secPassed
test[WhileStmSetSum.vdmpp]3.1 secPassed
test[seq_of_char2val.vdmpp]1.2 secPassed