Test Result : PatternOutputTest

0 failures
272 tests
Took 13 sec.

All Tests

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