Test Result : mc

1 failures (±0)

37 tests (±0)

Took 4 min 27 sec.

All Tests

Test name	Duration	Status
cover_mc_mutex_handling	66 ms	Passed
mc_mini_barber_shop_deadlock	0.24 sec	Passed
mc_mini_barber_shop_ok	2 min 47 sec	Failed
mc_mini_philosophers_mutex_deadlock	2.8 sec	Passed
mc_mini_philosophers_mutex_ok	30 sec	Passed
mc_mini_philosophers_semaphores_deadlock	3.4 sec	Passed
mc_mini_philosophers_semaphores_ok	2.8 sec	Passed
mc_mini_producer_consumer_deadlock	0.22 sec	Passed
mc_mini_producer_consumer_ok	4 sec	Passed
mc_mini_simple_barrier_deadlock	0.21 sec	Passed
mc_mini_simple_barrier_ok	0.24 sec	Passed
mc_mini_simple_barrier_with_threads_deadlock	0.22 sec	Passed
mc_mini_simple_barrier_with_threads_ok	0.24 sec	Passed
mc_mini_simple_cond_broadcast_deadlock	0.22 sec	Passed
mc_mini_simple_cond_broadcast_ok	17 sec	Passed
mc_mini_simple_cond_broadcast_with_semaphore_deadlock1	0.7 sec	Passed
mc_mini_simple_cond_broadcast_with_semaphore_deadlock2	0.22 sec	Passed
mc_mini_simple_cond_deadlock	0.21 sec	Passed
mc_mini_simple_cond_ok	0.25 sec	Passed
mc_mini_simple_mutex_deadlock	0.2 sec	Passed
mc_mini_simple_mutex_ok	0.39 sec	Passed
mc_mini_simple_mutex_with_threads_deadlock	0.25 sec	Passed
mc_mini_simple_mutex_with_threads_ok	5.5 sec	Passed
mc_mini_simple_semaphore_deadlock	0.59 sec	Passed
mc_mini_simple_semaphores_deadlock	0.2 sec	Passed
mc_mini_simple_semaphores_ok	0.23 sec	Passed
mc_mini_simple_semaphores_with_threads_deadlock	0.21 sec	Passed
mc_mini_simple_semaphores_with_threads_ok	1.1 sec	Passed
mc_mini_simple_threads_ok	0.24 sec	Passed
mc_mpi_iprobe_nok	0.22 sec	Passed
mc_mpi_iprobe_ok	0.27 sec	Passed
mc_random_bug	11 sec	Passed
mc_random_bug_replay	0.18 sec	Passed
tesh_mc_mutex_handling	13 sec	Passed
tesh_mc_mutex_handling_dpor	0.31 sec	Passed
tesh_mc_without_mutex_handling	1.9 sec	Passed
tesh_mc_without_mutex_handling_dpor	0.3 sec	Passed