Test Result : ClassicOutputTest

0 failures

2 tests

All Tests

Test name	Duration	Status
testCase[0 : AlarmTraces.vdmpp]	0.22 sec	Passed
testCase[1 : CashDispenserPP.vdmpp]	1.1 sec	Passed