Test Result : PatternOutputTest

0 failures (±0)
268 tests (±0)
Took 6.1 sec.

All Tests

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