Test Result : TracesExpansionJavaGenTest

0 failures
22 tests
Took 39 sec.

All Tests

Test nameDurationStatus
test[Alternative1.vdmpp]1.5 secPassed
test[AlternativeConcurrent1.vdmpp]1.5 secPassed
test[AlternativeRepeat1.vdmpp]1.7 secPassed
test[CallObjExpStmCases.vdmpp]1.9 secPassed
test[Concurrent1.vdmpp]1.6 secPassed
test[Concurrent2.vdmpp]1.4 secPassed
test[ConcurrentAlternative1.vdmpp]2.9 secPassed
test[ConcurrentRepeat1.vdmpp]1.8 secPassed
test[ConcurrentRepeat2.vdmpp]1.5 secPassed
test[ConcurrentWithLetBeSt.vdmpp]1.4 secPassed
test[LetBeSt1.vdmpp]2.3 secPassed
test[LetBeStNested.vdmpp]2.1 secPassed
test[LetBeStRecPattern.vdmpp]4.2 secPassed
test[LetBeStTupPattern.vdmpp]1.8 secPassed
test[LetDef1.vdmpp]1.2 secPassed
test[LetDefConsecutive.vdmpp]1.3 secPassed
test[LetDefConsecutiveRepeat.vdmpp]1.6 secPassed
test[LetDefTuplePattern.vdmpp]1.4 secPassed
test[Repeat1.vdmpp]1.2 secPassed
test[RepeatAlternative1.vdmpp]1.3 secPassed
test[RepeatConcurrent1.vdmpp]1.1 secPassed
test[SingleStatement1.vdmpp]2.1 secPassed