Test Result : mc

28 failures (+28)

29 tests (-7)

All Tests

Test name	Duration	Status
mc_mini_barber_shop_deadlock	64 ms	Regression
mc_mini_barber_shop_ok	61 ms	Regression
mc_mini_philosophers_mutex_deadlock	66 ms	Regression
mc_mini_philosophers_mutex_ok	58 ms	Regression
mc_mini_philosophers_semaphores_deadlock	60 ms	Regression
mc_mini_philosophers_semaphores_ok	59 ms	Regression
mc_mini_producer_consumer_deadlock	58 ms	Regression
mc_mini_producer_consumer_ok	58 ms	Regression
mc_mini_simple_barrier_deadlock	65 ms	Regression
mc_mini_simple_barrier_ok	61 ms	Regression
mc_mini_simple_barrier_with_threads_deadlock	64 ms	Regression
mc_mini_simple_barrier_with_threads_ok	70 ms	Regression
mc_mini_simple_cond_broadcast_deadlock	64 ms	Regression
mc_mini_simple_cond_broadcast_ok	63 ms	Regression
mc_mini_simple_cond_broadcast_with_semaphore_deadlock1	73 ms	Regression
mc_mini_simple_cond_broadcast_with_semaphore_deadlock2	70 ms	Regression
mc_mini_simple_cond_deadlock	57 ms	Regression
mc_mini_simple_cond_ok	54 ms	Regression
mc_mini_simple_mutex_deadlock	65 ms	Regression
mc_mini_simple_mutex_ok	63 ms	Regression
mc_mini_simple_mutex_with_threads_deadlock	66 ms	Regression
mc_mini_simple_mutex_with_threads_ok	69 ms	Regression
mc_mini_simple_semaphore_deadlock	70 ms	Regression
mc_mini_simple_semaphores_deadlock	58 ms	Regression
mc_mini_simple_semaphores_ok	64 ms	Regression
mc_mini_simple_semaphores_with_threads_deadlock	61 ms	Regression
mc_mini_simple_semaphores_with_threads_ok	68 ms	Regression
mc_mini_simple_threads_ok	57 ms	Regression
mc_random_bug_replay	0.15 sec	Passed