Test Result : TracesExpansionOutputTest

0 failures (±0)

22 tests (±0)

All Tests

Test name	Duration	Status
testCase[0 : ConcurrentRepeat1.vdmpp]	13 ms	Passed
testCase[1 : LetBeStNested.vdmpp]	19 ms	Passed
testCase[10 : SingleStatement1.vdmpp]	15 ms	Passed
testCase[11 : AlternativeRepeat1.vdmpp]	19 ms	Passed
testCase[12 : LetDefConsecutive.vdmpp]	16 ms	Passed
testCase[13 : Repeat1.vdmpp]	12 ms	Passed
testCase[14 : LetDef1.vdmpp]	24 ms	Passed
testCase[15 : LetDefTuplePattern.vdmpp]	31 ms	Passed
testCase[16 : Concurrent2.vdmpp]	28 ms	Passed
testCase[17 : Alternative1.vdmpp]	19 ms	Passed
testCase[18 : RepeatAlternative1.vdmpp]	20 ms	Passed
testCase[19 : ConcurrentAlternative1.vdmpp]	25 ms	Passed
testCase[2 : ConcurrentWithLetBeSt.vdmpp]	16 ms	Passed
testCase[20 : LetDefConsecutiveRepeat.vdmpp]	29 ms	Passed
testCase[21 : ConcurrentRepeat2.vdmpp]	34 ms	Passed
testCase[3 : CallObjExpStmCases.vdmpp]	18 ms	Passed
testCase[4 : LetBeSt1.vdmpp]	13 ms	Passed
testCase[5 : LetBeStTupPattern.vdmpp]	19 ms	Passed
testCase[6 : AlternativeConcurrent1.vdmpp]	13 ms	Passed
testCase[7 : LetBeStRecPattern.vdmpp]	19 ms	Passed
testCase[8 : Concurrent1.vdmpp]	12 ms	Passed
testCase[9 : RepeatConcurrent1.vdmpp]	20 ms	Passed