Test Result : ConcurrencyOutputTest

0 failures (±0)

68 tests (±0)

All Tests

Test name	Duration	Status
testCase[0 : ThreadIdSingleThread.vdmpp]	8 ms	Passed
testCase[0 : ThreadIdSingleThread.vdmpp]	11 ms	Passed
testCase[0 : ThreadIdSingleThread.vdmpp]	11 ms	Passed
testCase[0 : ThreadIdSingleThread.vdmpp]	8 ms	Passed
testCase[1 : StartlistdefinitionMutexSynchronized.vdmpp]	25 ms	Passed
testCase[1 : StartlistdefinitionMutexSynchronized.vdmpp]	25 ms	Passed
testCase[1 : StartlistdefinitionMutexSynchronized.vdmpp]	26 ms	Passed
testCase[1 : StartlistdefinitionMutexSynchronized.vdmpp]	26 ms	Passed
testCase[10 : HistoryCounterActSharedResource.vdmpp]	22 ms	Passed
testCase[10 : HistoryCounterActSharedResource.vdmpp]	21 ms	Passed
testCase[10 : HistoryCounterActSharedResource.vdmpp]	22 ms	Passed
testCase[10 : HistoryCounterActSharedResource.vdmpp]	21 ms	Passed
testCase[11 : HistoryCounterandMutexSharedResource.vdmpp]	22 ms	Passed
testCase[11 : HistoryCounterandMutexSharedResource.vdmpp]	24 ms	Passed
testCase[11 : HistoryCounterandMutexSharedResource.vdmpp]	24 ms	Passed
testCase[11 : HistoryCounterandMutexSharedResource.vdmpp]	22 ms	Passed
testCase[12 : MutexAllSharedCounter.vdmpp]	24 ms	Passed
testCase[12 : MutexAllSharedCounter.vdmpp]	25 ms	Passed
testCase[12 : MutexAllSharedCounter.vdmpp]	25 ms	Passed
testCase[12 : MutexAllSharedCounter.vdmpp]	24 ms	Passed
testCase[13 : ThreadStart.vdmpp]	12 ms	Passed
testCase[13 : ThreadStart.vdmpp]	13 ms	Passed
testCase[13 : ThreadStart.vdmpp]	13 ms	Passed
testCase[13 : ThreadStart.vdmpp]	12 ms	Passed
testCase[14 : OverloadedOperation.vdmpp]	32 ms	Passed
testCase[14 : OverloadedOperation.vdmpp]	32 ms	Passed
testCase[14 : OverloadedOperation.vdmpp]	28 ms	Passed
testCase[14 : OverloadedOperation.vdmpp]	28 ms	Passed
testCase[15 : SingleLevelInheritance.vdmpp]	18 ms	Passed
testCase[15 : SingleLevelInheritance.vdmpp]	17 ms	Passed
testCase[15 : SingleLevelInheritance.vdmpp]	17 ms	Passed
testCase[15 : SingleLevelInheritance.vdmpp]	18 ms	Passed
testCase[16 : HistoryCounterReqSharedResource.vdmpp]	23 ms	Passed
testCase[16 : HistoryCounterReqSharedResource.vdmpp]	23 ms	Passed
testCase[16 : HistoryCounterReqSharedResource.vdmpp]	22 ms	Passed
testCase[16 : HistoryCounterReqSharedResource.vdmpp]	22 ms	Passed
testCase[2 : FourOperationMutexSharedcounter.vdmpp]	26 ms	Passed
testCase[2 : FourOperationMutexSharedcounter.vdmpp]	27 ms	Passed
testCase[2 : FourOperationMutexSharedcounter.vdmpp]	27 ms	Passed
testCase[2 : FourOperationMutexSharedcounter.vdmpp]	26 ms	Passed
testCase[3 : HistoryCounterActiveSharedCounter.vdmpp]	25 ms	Passed
testCase[3 : HistoryCounterActiveSharedCounter.vdmpp]	22 ms	Passed
testCase[3 : HistoryCounterActiveSharedCounter.vdmpp]	25 ms	Passed
testCase[3 : HistoryCounterActiveSharedCounter.vdmpp]	22 ms	Passed
testCase[4 : SingleOperationMutexSharedCounter.vdmpp]	23 ms	Passed
testCase[4 : SingleOperationMutexSharedCounter.vdmpp]	23 ms	Passed
testCase[4 : SingleOperationMutexSharedCounter.vdmpp]	23 ms	Passed
testCase[4 : SingleOperationMutexSharedCounter.vdmpp]	23 ms	Passed
testCase[5 : HistoryCounterFinSharedResource.vdmpp]	22 ms	Passed
testCase[5 : HistoryCounterFinSharedResource.vdmpp]	22 ms	Passed
testCase[5 : HistoryCounterFinSharedResource.vdmpp]	28 ms	Passed
testCase[5 : HistoryCounterFinSharedResource.vdmpp]	28 ms	Passed
testCase[6 : DoublePermissionPredSharedCounter.vdmpp]	25 ms	Passed
testCase[6 : DoublePermissionPredSharedCounter.vdmpp]	25 ms	Passed
testCase[6 : DoublePermissionPredSharedCounter.vdmpp]	25 ms	Passed
testCase[6 : DoublePermissionPredSharedCounter.vdmpp]	25 ms	Passed
testCase[7 : DoubleOperationMutexSharedCounter.vdmpp]	25 ms	Passed
testCase[7 : DoubleOperationMutexSharedCounter.vdmpp]	25 ms	Passed
testCase[7 : DoubleOperationMutexSharedCounter.vdmpp]	24 ms	Passed
testCase[7 : DoubleOperationMutexSharedCounter.vdmpp]	24 ms	Passed
testCase[8 : ReaderWriterExample.vdmpp]	30 ms	Passed
testCase[8 : ReaderWriterExample.vdmpp]	31 ms	Passed
testCase[8 : ReaderWriterExample.vdmpp]	31 ms	Passed
testCase[8 : ReaderWriterExample.vdmpp]	30 ms	Passed
testCase[9 : HistoryCounterWaitingSharedCounter.vdmpp]	23 ms	Passed
testCase[9 : HistoryCounterWaitingSharedCounter.vdmpp]	22 ms	Passed
testCase[9 : HistoryCounterWaitingSharedCounter.vdmpp]	23 ms	Passed
testCase[9 : HistoryCounterWaitingSharedCounter.vdmpp]	22 ms	Passed