Test Result : PatternJavaGenTest

0 failures , 68 skipped
68 tests
Took 0 ms.

All Tests

Test nameDurationStatus
test[BlockWithInterdependentPatterns.vdmpp]0 msSkipped
test[Bool.vdmpp]0 msSkipped
test[CasesExpNamedInvariantTypedExp.vdmpp]0 msSkipped
test[CasesExpNestingLetExp.vdmpp]0 msSkipped
test[CasesExpOneCaseNoOthers.vdmpp]0 msSkipped
test[CasesExpRec.vdmpp]0 msSkipped
test[CasesExpRecordPatternNamedInvariantUnionTypedExp.vdmpp]0 msSkipped
test[CasesExpTuple.vdmpp]0 msSkipped
test[CasesExpUnionTypedConWithSimpleTypes.vdmpp]0 msSkipped
test[CasesExpUnionTypedCondWithTuples.vdmpp]0 msSkipped
test[CasesStmBool.vdmpp]0 msSkipped
test[CasesStmChar.vdmpp]0 msSkipped
test[CasesStmIdentifier.vdmpp]0 msSkipped
test[CasesStmIgnore.vdmpp]0 msSkipped
test[CasesStmInt.vdmpp]0 msSkipped
test[CasesStmMultiplePatternsPerAlt.vdmpp]0 msSkipped
test[CasesStmNamedInvariantTypedExp.vdmpp]0 msSkipped
test[CasesStmNil.vdmpp]0 msSkipped
test[CasesStmOpCallExp.vdmpp]0 msSkipped
test[CasesStmQuote.vdmpp]0 msSkipped
test[CasesStmReal.vdmpp]0 msSkipped
test[CasesStmRec.vdmpp]0 msSkipped
test[CasesStmRecordPatternNamedInvariantUnionTypedExp.vdmpp]0 msSkipped
test[CasesStmString.vdmpp]0 msSkipped
test[CasesStmTuple.vdmpp]0 msSkipped
test[Char.vdmpp]0 msSkipped
test[ConstructorCallsConstructor.vdmpp]0 msSkipped
test[ForAllStmIdentifierPattern.vdmpp]0 msSkipped
test[ForAllStmIgnorePattern.vdmpp]0 msSkipped
test[ForAllStmIntPattern.vdmpp]0 msSkipped
test[ForAllStmTuplePatternWithIdentifiers.vdmpp]0 msSkipped
test[ForAllStmTuplePatternWithIgnorePattern.vdmpp]0 msSkipped
test[ForPatternBindIdentifierPattern.vdmpp]0 msSkipped
test[ForPatternBindIgnorePattern.vdmpp]0 msSkipped
test[ForPatternBindIntPattern.vdmpp]0 msSkipped
test[ForPatternBindTuplePatternWithIdentifiers.vdmpp]0 msSkipped
test[ForPatternBindTuplePatternWithIgnorePattern.vdmpp]0 msSkipped
test[ForPatternBindTypeBind.vdmpp]0 msSkipped
test[IgnorePattern.vdmpp]0 msSkipped
test[IgnorePatternInLambda.vdmpp]0 msSkipped
test[IgnorePatternLastInTuplePattern.vdmpp]0 msSkipped
test[Int.vdmpp]0 msSkipped
test[LetBeStIgnorePattern.vdmpp]0 msSkipped
test[LetBeStRecPattern.vdmpp]0 msSkipped
test[LetBeStTuplePattern1.vdmpp]0 msSkipped
test[LetBeStTuplePattern2.vdmpp]0 msSkipped
test[LetExpInsideSetComp.vdmpp]0 msSkipped
test[Nil.vdmpp]0 msSkipped
test[Quote.vdmpp]0 msSkipped
test[Real.vdmpp]0 msSkipped
test[RecordLastFieldInt.vdmpp]0 msSkipped
test[RecordNoFields.vdmpp]0 msSkipped
test[RecordPatternIdentifierPatterns.vdmpp]0 msSkipped
test[RecordPatternWithSimplePatterns.vdmpp]0 msSkipped
test[RecordWithFieldOfUnknownType.vdmpp]0 msSkipped
test[RecordWithIgnorePattern.vdmpp]0 msSkipped
test[RecordWithTuple.vdmpp]0 msSkipped
test[SeqCompWithIgnorePattern.vdmpp]0 msSkipped
test[String.vdmpp]0 msSkipped
test[TupleLastFieldIntPattern.vdmpp]0 msSkipped
test[TupleNestingTuples.vdmpp]0 msSkipped
test[TuplePatternIdentifierPatterns.vdmpp]0 msSkipped
test[TuplePatternNestedInBlocks1.vdmpp]0 msSkipped
test[TuplePatternNestedInBlocks2.vdmpp]0 msSkipped
test[TupleWithBoolPattern.vdmpp]0 msSkipped
test[TupleWithIgnorePattern.vdmpp]0 msSkipped
test[TupleWithRecord.vdmpp]0 msSkipped
test[ValueDefIgnorePattern.vdmpp]0 msSkipped