testCase[0 : ThreadIdSingleThread.vdmpp] | 16 ms | Passed |
testCase[1 : StartlistdefinitionMutexSynchronized.vdmpp] | 52 ms | Passed |
testCase[10 : HistoryCounterActSharedResource.vdmpp] | 22 ms | Passed |
testCase[11 : HistoryCounterandMutexSharedResource.vdmpp] | 24 ms | Passed |
testCase[12 : MutexAllSharedCounter.vdmpp] | 24 ms | Passed |
testCase[13 : ThreadStart.vdmpp] | 14 ms | Passed |
testCase[14 : OverloadedOperation.vdmpp] | 28 ms | Passed |
testCase[15 : SingleLevelInheritance.vdmpp] | 18 ms | Passed |
testCase[16 : HistoryCounterReqSharedResource.vdmpp] | 24 ms | Passed |
testCase[2 : FourOperationMutexSharedcounter.vdmpp] | 60 ms | Passed |
testCase[3 : HistoryCounterActiveSharedCounter.vdmpp] | 83 ms | Passed |
testCase[4 : SingleOperationMutexSharedCounter.vdmpp] | 28 ms | Passed |
testCase[5 : HistoryCounterFinSharedResource.vdmpp] | 24 ms | Passed |
testCase[6 : DoublePermissionPredSharedCounter.vdmpp] | 26 ms | Passed |
testCase[7 : DoubleOperationMutexSharedCounter.vdmpp] | 25 ms | Passed |
testCase[8 : ReaderWriterExample.vdmpp] | 31 ms | Passed |
testCase[9 : HistoryCounterWaitingSharedCounter.vdmpp] | 22 ms | Passed |