Test Result : TracesExpansionOutputTest

0 failures (±0)
88 tests (±0)
Took 1 sec.

All Tests

Test nameDurationStatus
testCase[0 : ConcurrentRepeat1.vdmpp]13 msPassed
testCase[0 : ConcurrentRepeat1.vdmpp]13 msPassed
testCase[0 : ConcurrentRepeat1.vdmpp]13 msPassed
testCase[0 : ConcurrentRepeat1.vdmpp]13 msPassed
testCase[1 : LetBeStNested.vdmpp]17 msPassed
testCase[1 : LetBeStNested.vdmpp]15 msPassed
testCase[1 : LetBeStNested.vdmpp]17 msPassed
testCase[1 : LetBeStNested.vdmpp]15 msPassed
testCase[10 : SingleStatement1.vdmpp]6 msPassed
testCase[10 : SingleStatement1.vdmpp]6 msPassed
testCase[10 : SingleStatement1.vdmpp]8 msPassed
testCase[10 : SingleStatement1.vdmpp]8 msPassed
testCase[11 : AlternativeRepeat1.vdmpp]8 msPassed
testCase[11 : AlternativeRepeat1.vdmpp]9 msPassed
testCase[11 : AlternativeRepeat1.vdmpp]9 msPassed
testCase[11 : AlternativeRepeat1.vdmpp]8 msPassed
testCase[12 : LetDefConsecutive.vdmpp]13 msPassed
testCase[12 : LetDefConsecutive.vdmpp]13 msPassed
testCase[12 : LetDefConsecutive.vdmpp]13 msPassed
testCase[12 : LetDefConsecutive.vdmpp]13 msPassed
testCase[13 : Repeat1.vdmpp]7 msPassed
testCase[13 : Repeat1.vdmpp]8 msPassed
testCase[13 : Repeat1.vdmpp]8 msPassed
testCase[13 : Repeat1.vdmpp]7 msPassed
testCase[14 : LetDef1.vdmpp]12 msPassed
testCase[14 : LetDef1.vdmpp]12 msPassed
testCase[14 : LetDef1.vdmpp]12 msPassed
testCase[14 : LetDef1.vdmpp]12 msPassed
testCase[15 : LetDefTuplePattern.vdmpp]21 msPassed
testCase[15 : LetDefTuplePattern.vdmpp]15 msPassed
testCase[15 : LetDefTuplePattern.vdmpp]15 msPassed
testCase[15 : LetDefTuplePattern.vdmpp]21 msPassed
testCase[16 : Concurrent2.vdmpp]13 msPassed
testCase[16 : Concurrent2.vdmpp]13 msPassed
testCase[16 : Concurrent2.vdmpp]13 msPassed
testCase[16 : Concurrent2.vdmpp]13 msPassed
testCase[17 : Alternative1.vdmpp]9 msPassed
testCase[17 : Alternative1.vdmpp]9 msPassed
testCase[17 : Alternative1.vdmpp]9 msPassed
testCase[17 : Alternative1.vdmpp]9 msPassed
testCase[18 : RepeatAlternative1.vdmpp]10 msPassed
testCase[18 : RepeatAlternative1.vdmpp]9 msPassed
testCase[18 : RepeatAlternative1.vdmpp]9 msPassed
testCase[18 : RepeatAlternative1.vdmpp]10 msPassed
testCase[19 : ConcurrentAlternative1.vdmpp]11 msPassed
testCase[19 : ConcurrentAlternative1.vdmpp]10 msPassed
testCase[19 : ConcurrentAlternative1.vdmpp]11 msPassed
testCase[19 : ConcurrentAlternative1.vdmpp]10 msPassed
testCase[2 : ConcurrentWithLetBeSt.vdmpp]15 msPassed
testCase[2 : ConcurrentWithLetBeSt.vdmpp]15 msPassed
testCase[2 : ConcurrentWithLetBeSt.vdmpp]18 msPassed
testCase[2 : ConcurrentWithLetBeSt.vdmpp]18 msPassed
testCase[20 : LetDefConsecutiveRepeat.vdmpp]14 msPassed
testCase[20 : LetDefConsecutiveRepeat.vdmpp]14 msPassed
testCase[20 : LetDefConsecutiveRepeat.vdmpp]13 msPassed
testCase[20 : LetDefConsecutiveRepeat.vdmpp]13 msPassed
testCase[21 : ConcurrentRepeat2.vdmpp]15 msPassed
testCase[21 : ConcurrentRepeat2.vdmpp]15 msPassed
testCase[21 : ConcurrentRepeat2.vdmpp]14 msPassed
testCase[21 : ConcurrentRepeat2.vdmpp]14 msPassed
testCase[3 : CallObjExpStmCases.vdmpp]16 msPassed
testCase[3 : CallObjExpStmCases.vdmpp]16 msPassed
testCase[3 : CallObjExpStmCases.vdmpp]16 msPassed
testCase[3 : CallObjExpStmCases.vdmpp]16 msPassed
testCase[4 : LetBeSt1.vdmpp]12 msPassed
testCase[4 : LetBeSt1.vdmpp]12 msPassed
testCase[4 : LetBeSt1.vdmpp]12 msPassed
testCase[4 : LetBeSt1.vdmpp]12 msPassed
testCase[5 : LetBeStTupPattern.vdmpp]16 msPassed
testCase[5 : LetBeStTupPattern.vdmpp]16 msPassed
testCase[5 : LetBeStTupPattern.vdmpp]16 msPassed
testCase[5 : LetBeStTupPattern.vdmpp]16 msPassed
testCase[6 : AlternativeConcurrent1.vdmpp]10 msPassed
testCase[6 : AlternativeConcurrent1.vdmpp]11 msPassed
testCase[6 : AlternativeConcurrent1.vdmpp]10 msPassed
testCase[6 : AlternativeConcurrent1.vdmpp]11 msPassed
testCase[7 : LetBeStRecPattern.vdmpp]17 msPassed
testCase[7 : LetBeStRecPattern.vdmpp]17 msPassed
testCase[7 : LetBeStRecPattern.vdmpp]17 msPassed
testCase[7 : LetBeStRecPattern.vdmpp]17 msPassed
testCase[8 : Concurrent1.vdmpp]9 msPassed
testCase[8 : Concurrent1.vdmpp]11 msPassed
testCase[8 : Concurrent1.vdmpp]11 msPassed
testCase[8 : Concurrent1.vdmpp]9 msPassed
testCase[9 : RepeatConcurrent1.vdmpp]9 msPassed
testCase[9 : RepeatConcurrent1.vdmpp]9 msPassed
testCase[9 : RepeatConcurrent1.vdmpp]9 msPassed
testCase[9 : RepeatConcurrent1.vdmpp]9 msPassed