Test Result : ClassicOutputTest
0 failures
(±0)
2 tests
(±0)
All Tests
Test name | Duration | Status |
testCase[0 : AlarmTraces.vdmpp] | 85 ms | Passed |
testCase[1 : CashDispenserPP.vdmpp] | 0.29 sec | Passed |
Test name | Duration | Status |
testCase[0 : AlarmTraces.vdmpp] | 85 ms | Passed |
testCase[1 : CashDispenserPP.vdmpp] | 0.29 sec | Passed |