Test Result : PatternJavaGenTest

0 failures
68 tests
Took 1 min 18 sec.

All Tests

Test nameDurationStatus
test[BlockWithInterdependentPatterns.vdmpp]1.4 secPassed
test[Bool.vdmpp]0.96 secPassed
test[CasesExpNamedInvariantTypedExp.vdmpp]1.1 secPassed
test[CasesExpNestingLetExp.vdmpp]1 secPassed
test[CasesExpOneCaseNoOthers.vdmpp]1.2 secPassed
test[CasesExpRec.vdmpp]1 secPassed
test[CasesExpRecordPatternNamedInvariantUnionTypedExp.vdmpp]1.2 secPassed
test[CasesExpTuple.vdmpp]1 secPassed
test[CasesExpUnionTypedConWithSimpleTypes.vdmpp]0.86 secPassed
test[CasesExpUnionTypedCondWithTuples.vdmpp]2.1 secPassed
test[CasesStmBool.vdmpp]0.92 secPassed
test[CasesStmChar.vdmpp]0.93 secPassed
test[CasesStmIdentifier.vdmpp]1.1 secPassed
test[CasesStmIgnore.vdmpp]1 secPassed
test[CasesStmInt.vdmpp]2.2 secPassed
test[CasesStmMultiplePatternsPerAlt.vdmpp]1 secPassed
test[CasesStmNamedInvariantTypedExp.vdmpp]1.1 secPassed
test[CasesStmNil.vdmpp]0.92 secPassed
test[CasesStmOpCallExp.vdmpp]1 secPassed
test[CasesStmQuote.vdmpp]1.2 secPassed
test[CasesStmReal.vdmpp]1.1 secPassed
test[CasesStmRec.vdmpp]1.2 secPassed
test[CasesStmRecordPatternNamedInvariantUnionTypedExp.vdmpp]0.97 secPassed
test[CasesStmString.vdmpp]1 secPassed
test[CasesStmTuple.vdmpp]1 secPassed
test[Char.vdmpp]1 secPassed
test[ConstructorCallsConstructor.vdmpp]1 secPassed
test[ForAllStmIdentifierPattern.vdmpp]0.95 secPassed
test[ForAllStmIgnorePattern.vdmpp]1.7 secPassed
test[ForAllStmIntPattern.vdmpp]1 secPassed
test[ForAllStmTuplePatternWithIdentifiers.vdmpp]1 secPassed
test[ForAllStmTuplePatternWithIgnorePattern.vdmpp]0.96 secPassed
test[ForPatternBindIdentifierPattern.vdmpp]0.86 secPassed
test[ForPatternBindIgnorePattern.vdmpp]0.97 secPassed
test[ForPatternBindIntPattern.vdmpp]1 secPassed
test[ForPatternBindTuplePatternWithIdentifiers.vdmpp]1.1 secPassed
test[ForPatternBindTuplePatternWithIgnorePattern.vdmpp]1 secPassed
test[ForPatternBindTypeBind.vdmpp]1 secPassed
test[IgnorePattern.vdmpp]0.96 secPassed
test[IgnorePatternInLambda.vdmpp]0.87 secPassed
test[IgnorePatternLastInTuplePattern.vdmpp]0.91 secPassed
test[Int.vdmpp]0.95 secPassed
test[LetBeStIgnorePattern.vdmpp]2.6 secPassed
test[LetBeStRecPattern.vdmpp]1.2 secPassed
test[LetBeStTuplePattern1.vdmpp]1.1 secPassed
test[LetBeStTuplePattern2.vdmpp]0.9 secPassed
test[LetExpInsideSetComp.vdmpp]1 secPassed
test[Nil.vdmpp]0.91 secPassed
test[Quote.vdmpp]1 secPassed
test[Real.vdmpp]1.2 secPassed
test[RecordLastFieldInt.vdmpp]1.3 secPassed
test[RecordNoFields.vdmpp]1.2 secPassed
test[RecordPatternIdentifierPatterns.vdmpp]1.1 secPassed
test[RecordPatternWithSimplePatterns.vdmpp]1.5 secPassed
test[RecordWithFieldOfUnknownType.vdmpp]1.2 secPassed
test[RecordWithIgnorePattern.vdmpp]1.6 secPassed
test[RecordWithTuple.vdmpp]1.1 secPassed
test[SeqCompWithIgnorePattern.vdmpp]1 secPassed
test[String.vdmpp]1 secPassed
test[TupleLastFieldIntPattern.vdmpp]1.3 secPassed
test[TupleNestingTuples.vdmpp]1.2 secPassed
test[TuplePatternIdentifierPatterns.vdmpp]1 secPassed
test[TuplePatternNestedInBlocks1.vdmpp]1 secPassed
test[TuplePatternNestedInBlocks2.vdmpp]1 secPassed
test[TupleWithBoolPattern.vdmpp]1.3 secPassed
test[TupleWithIgnorePattern.vdmpp]1.1 secPassed
test[TupleWithRecord.vdmpp]0.99 secPassed
test[ValueDefIgnorePattern.vdmpp]1 secPassed