Test Result : ClassicOutputTest

0 failures

2 tests

All Tests

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