Test Result : TracesExpansionJavaGenTest

0 failures , 22 skipped
22 tests
Took 0 ms.

All Tests

Test nameDurationStatus
test[Alternative1.vdmpp]0 msSkipped
test[AlternativeConcurrent1.vdmpp]0 msSkipped
test[AlternativeRepeat1.vdmpp]0 msSkipped
test[CallObjExpStmCases.vdmpp]0 msSkipped
test[Concurrent1.vdmpp]0 msSkipped
test[Concurrent2.vdmpp]0 msSkipped
test[ConcurrentAlternative1.vdmpp]0 msSkipped
test[ConcurrentRepeat1.vdmpp]0 msSkipped
test[ConcurrentRepeat2.vdmpp]0 msSkipped
test[ConcurrentWithLetBeSt.vdmpp]0 msSkipped
test[LetBeSt1.vdmpp]0 msSkipped
test[LetBeStNested.vdmpp]0 msSkipped
test[LetBeStRecPattern.vdmpp]0 msSkipped
test[LetBeStTupPattern.vdmpp]0 msSkipped
test[LetDef1.vdmpp]0 msSkipped
test[LetDefConsecutive.vdmpp]0 msSkipped
test[LetDefConsecutiveRepeat.vdmpp]0 msSkipped
test[LetDefTuplePattern.vdmpp]0 msSkipped
test[Repeat1.vdmpp]0 msSkipped
test[RepeatAlternative1.vdmpp]0 msSkipped
test[RepeatConcurrent1.vdmpp]0 msSkipped
test[SingleStatement1.vdmpp]0 msSkipped