Test Result : PatternOutputTest

0 failures
68 tests
Took 2.4 sec.

All Tests

Test nameDurationStatus
testCase[0 : CasesStmReal.vdmpp]57 msPassed
testCase[1 : ForPatternBindIgnorePattern.vdmpp]27 msPassed
testCase[10 : RecordWithTuple.vdmpp]61 msPassed
testCase[11 : ForPatternBindIdentifierPattern.vdmpp]17 msPassed
testCase[12 : CasesStmRecordPatternNamedInvariantUnionTypedExp.vdmpp]34 msPassed
testCase[13 : BlockWithInterdependentPatterns.vdmpp]41 msPassed
testCase[14 : IgnorePattern.vdmpp]18 msPassed
testCase[15 : ForPatternBindIntPattern.vdmpp]12 msPassed
testCase[16 : CasesStmChar.vdmpp]27 msPassed
testCase[17 : Nil.vdmpp]40 msPassed
testCase[18 : TupleWithBoolPattern.vdmpp]73 msPassed
testCase[19 : CasesExpNestingLetExp.vdmpp]37 msPassed
testCase[2 : String.vdmpp]85 msPassed
testCase[20 : LetBeStRecPattern.vdmpp]30 msPassed
testCase[21 : CasesStmQuote.vdmpp]29 msPassed
testCase[22 : CasesExpOneCaseNoOthers.vdmpp]14 msPassed
testCase[23 : CasesStmInt.vdmpp]29 msPassed
testCase[24 : CasesExpUnionTypedCondWithTuples.vdmpp]33 msPassed
testCase[25 : ForPatternBindTypeBind.vdmpp]12 msPassed
testCase[26 : ForAllStmIdentifierPattern.vdmpp]10 msPassed
testCase[27 : ForAllStmTuplePatternWithIdentifiers.vdmpp]16 msPassed
testCase[28 : Int.vdmpp]19 msPassed
testCase[29 : RecordNoFields.vdmpp]34 msPassed
testCase[3 : CasesExpNamedInvariantTypedExp.vdmpp]66 msPassed
testCase[30 : CasesExpRec.vdmpp]33 msPassed
testCase[31 : ForAllStmIntPattern.vdmpp]12 msPassed
testCase[32 : TupleNestingTuples.vdmpp]21 msPassed
testCase[33 : CasesStmTuple.vdmpp]24 msPassed
testCase[34 : Quote.vdmpp]42 msPassed
testCase[35 : RecordPatternIdentifierPatterns.vdmpp]49 msPassed
testCase[36 : CasesExpRecordPatternNamedInvariantUnionTypedExp.vdmpp]31 msPassed
testCase[37 : RecordPatternWithSimplePatterns.vdmpp]34 msPassed
testCase[38 : CasesExpUnionTypedConWithSimpleTypes.vdmpp]30 msPassed
testCase[39 : CasesStmOpCallExp.vdmpp]33 msPassed
testCase[4 : CasesStmBool.vdmpp]37 msPassed
testCase[40 : ForAllStmIgnorePattern.vdmpp]11 msPassed
testCase[41 : LetExpInsideSetComp.vdmpp]20 msPassed
testCase[42 : RecordLastFieldInt.vdmpp]42 msPassed
testCase[43 : TuplePatternNestedInBlocks1.vdmpp]29 msPassed
testCase[44 : LetBeStTuplePattern2.vdmpp]54 msPassed
testCase[45 : CasesStmRec.vdmpp]43 msPassed
testCase[46 : Bool.vdmpp]19 msPassed
testCase[47 : TupleWithRecord.vdmpp]29 msPassed
testCase[48 : ForPatternBindTuplePatternWithIdentifiers.vdmpp]16 msPassed
testCase[49 : CasesStmNil.vdmpp]13 msPassed
testCase[5 : Real.vdmpp]50 msPassed
testCase[50 : CasesStmIdentifier.vdmpp]28 msPassed
testCase[51 : IgnorePatternLastInTuplePattern.vdmpp]15 msPassed
testCase[52 : CasesStmNamedInvariantTypedExp.vdmpp]21 msPassed
testCase[53 : CasesStmMultiplePatternsPerAlt.vdmpp]31 msPassed
testCase[54 : CasesStmIgnore.vdmpp]38 msPassed
testCase[55 : ForPatternBindTuplePatternWithIgnorePattern.vdmpp]60 msPassed
testCase[56 : TuplePatternIdentifierPatterns.vdmpp]0.12 secPassed
testCase[57 : LetBeStIgnorePattern.vdmpp]29 msPassed
testCase[58 : Char.vdmpp]44 msPassed
testCase[59 : SeqCompWithIgnorePattern.vdmpp]48 msPassed
testCase[6 : LetBeStTuplePattern1.vdmpp]53 msPassed
testCase[60 : CasesExpTuple.vdmpp]55 msPassed
testCase[61 : ForAllStmTuplePatternWithIgnorePattern.vdmpp]16 msPassed
testCase[62 : RecordWithIgnorePattern.vdmpp]43 msPassed
testCase[63 : CasesStmString.vdmpp]39 msPassed
testCase[64 : ConstructorCallsConstructor.vdmpp]90 msPassed
testCase[65 : TupleWithIgnorePattern.vdmpp]36 msPassed
testCase[66 : RecordWithFieldOfUnknownType.vdmpp]78 msPassed
testCase[67 : ValueDefIgnorePattern.vdmpp]28 msPassed
testCase[7 : TuplePatternNestedInBlocks2.vdmpp]19 msPassed
testCase[8 : IgnorePatternInLambda.vdmpp]55 msPassed
testCase[9 : TupleLastFieldIntPattern.vdmpp]49 msPassed