Test Result : ComplexExpJavaGenTest

0 failures , 174 skipped
174 tests
Took 0 ms.

All Tests

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