Test Result : PatternOutputTest

0 failures (±0)

68 tests (±0)

Took 1 sec.

All Tests

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