Test Result : ConfiguredCloningOutputTest
0 failures
3 tests
All Tests
Test name | Duration | Status |
testCase[0 : AlarmTraces.vdmpp] | 92 ms | Passed |
testCase[1 : CashDispenserPP.vdmpp] | 0.29 sec | Passed |
testCase[2 : TupleUsage.vdmpp] | 30 ms | Passed |