Test Result : TracesExpansionOutputTest

0 failures
88 tests
Took 3.1 sec.

All Tests

Test nameDurationStatus
Install IDE / testCase[0 : ConcurrentRepeat1.vdmpp]43 msPassed
testCase[0 : ConcurrentRepeat1.vdmpp]43 msPassed
testCase[0 : ConcurrentRepeat1.vdmpp]19 msPassed
Package core / testCase[0 : ConcurrentRepeat1.vdmpp]19 msPassed
Package core / testCase[1 : LetBeStNested.vdmpp]28 msPassed
Install IDE / testCase[1 : LetBeStNested.vdmpp]58 msPassed
testCase[1 : LetBeStNested.vdmpp]28 msPassed
testCase[1 : LetBeStNested.vdmpp]58 msPassed
Install IDE / testCase[10 : SingleStatement1.vdmpp]18 msPassed
testCase[10 : SingleStatement1.vdmpp]9 msPassed
testCase[10 : SingleStatement1.vdmpp]18 msPassed
Package core / testCase[10 : SingleStatement1.vdmpp]9 msPassed
testCase[11 : AlternativeRepeat1.vdmpp]47 msPassed
testCase[11 : AlternativeRepeat1.vdmpp]13 msPassed
Install IDE / testCase[11 : AlternativeRepeat1.vdmpp]47 msPassed
Package core / testCase[11 : AlternativeRepeat1.vdmpp]13 msPassed
Install IDE / testCase[12 : LetDefConsecutive.vdmpp]67 msPassed
testCase[12 : LetDefConsecutive.vdmpp]22 msPassed
testCase[12 : LetDefConsecutive.vdmpp]67 msPassed
Package core / testCase[12 : LetDefConsecutive.vdmpp]22 msPassed
Install IDE / testCase[13 : Repeat1.vdmpp]31 msPassed
testCase[13 : Repeat1.vdmpp]13 msPassed
Package core / testCase[13 : Repeat1.vdmpp]13 msPassed
testCase[13 : Repeat1.vdmpp]31 msPassed
testCase[14 : LetDef1.vdmpp]49 msPassed
testCase[14 : LetDef1.vdmpp]15 msPassed
Install IDE / testCase[14 : LetDef1.vdmpp]49 msPassed
Package core / testCase[14 : LetDef1.vdmpp]15 msPassed
testCase[15 : LetDefTuplePattern.vdmpp]69 msPassed
testCase[15 : LetDefTuplePattern.vdmpp]35 msPassed
Install IDE / testCase[15 : LetDefTuplePattern.vdmpp]69 msPassed
Package core / testCase[15 : LetDefTuplePattern.vdmpp]35 msPassed
testCase[16 : Concurrent2.vdmpp]17 msPassed
testCase[16 : Concurrent2.vdmpp]59 msPassed
Package core / testCase[16 : Concurrent2.vdmpp]17 msPassed
Install IDE / testCase[16 : Concurrent2.vdmpp]59 msPassed
Install IDE / testCase[17 : Alternative1.vdmpp]82 msPassed
testCase[17 : Alternative1.vdmpp]12 msPassed
testCase[17 : Alternative1.vdmpp]82 msPassed
Package core / testCase[17 : Alternative1.vdmpp]12 msPassed
Install IDE / testCase[18 : RepeatAlternative1.vdmpp]50 msPassed
testCase[18 : RepeatAlternative1.vdmpp]12 msPassed
Package core / testCase[18 : RepeatAlternative1.vdmpp]12 msPassed
testCase[18 : RepeatAlternative1.vdmpp]50 msPassed
Install IDE / testCase[19 : ConcurrentAlternative1.vdmpp]52 msPassed
Package core / testCase[19 : ConcurrentAlternative1.vdmpp]14 msPassed
testCase[19 : ConcurrentAlternative1.vdmpp]14 msPassed
testCase[19 : ConcurrentAlternative1.vdmpp]52 msPassed
testCase[2 : ConcurrentWithLetBeSt.vdmpp]18 msPassed
testCase[2 : ConcurrentWithLetBeSt.vdmpp]76 msPassed
Install IDE / testCase[2 : ConcurrentWithLetBeSt.vdmpp]76 msPassed
Package core / testCase[2 : ConcurrentWithLetBeSt.vdmpp]18 msPassed
Install IDE / testCase[20 : LetDefConsecutiveRepeat.vdmpp]58 msPassed
testCase[20 : LetDefConsecutiveRepeat.vdmpp]20 msPassed
Package core / testCase[20 : LetDefConsecutiveRepeat.vdmpp]20 msPassed
testCase[20 : LetDefConsecutiveRepeat.vdmpp]58 msPassed
testCase[21 : ConcurrentRepeat2.vdmpp]20 msPassed
Package core / testCase[21 : ConcurrentRepeat2.vdmpp]20 msPassed
Install IDE / testCase[21 : ConcurrentRepeat2.vdmpp]48 msPassed
testCase[21 : ConcurrentRepeat2.vdmpp]48 msPassed
testCase[3 : CallObjExpStmCases.vdmpp]53 msPassed
testCase[3 : CallObjExpStmCases.vdmpp]19 msPassed
Package core / testCase[3 : CallObjExpStmCases.vdmpp]19 msPassed
Install IDE / testCase[3 : CallObjExpStmCases.vdmpp]53 msPassed
testCase[4 : LetBeSt1.vdmpp]49 msPassed
testCase[4 : LetBeSt1.vdmpp]16 msPassed
Install IDE / testCase[4 : LetBeSt1.vdmpp]49 msPassed
Package core / testCase[4 : LetBeSt1.vdmpp]16 msPassed
testCase[5 : LetBeStTupPattern.vdmpp]55 msPassed
Install IDE / testCase[5 : LetBeStTupPattern.vdmpp]55 msPassed
testCase[5 : LetBeStTupPattern.vdmpp]19 msPassed
Package core / testCase[5 : LetBeStTupPattern.vdmpp]19 msPassed
Install IDE / testCase[6 : AlternativeConcurrent1.vdmpp]56 msPassed
testCase[6 : AlternativeConcurrent1.vdmpp]56 msPassed
Package core / testCase[6 : AlternativeConcurrent1.vdmpp]14 msPassed
testCase[6 : AlternativeConcurrent1.vdmpp]14 msPassed
testCase[7 : LetBeStRecPattern.vdmpp]59 msPassed
Package core / testCase[7 : LetBeStRecPattern.vdmpp]22 msPassed
testCase[7 : LetBeStRecPattern.vdmpp]22 msPassed
Install IDE / testCase[7 : LetBeStRecPattern.vdmpp]59 msPassed
testCase[8 : Concurrent1.vdmpp]14 msPassed
Install IDE / testCase[8 : Concurrent1.vdmpp]58 msPassed
Package core / testCase[8 : Concurrent1.vdmpp]14 msPassed
testCase[8 : Concurrent1.vdmpp]58 msPassed
Package core / testCase[9 : RepeatConcurrent1.vdmpp]12 msPassed
Install IDE / testCase[9 : RepeatConcurrent1.vdmpp]30 msPassed
testCase[9 : RepeatConcurrent1.vdmpp]12 msPassed
testCase[9 : RepeatConcurrent1.vdmpp]30 msPassed