cover_mc_mutex_handling | 68 ms | Passed |
mc_mini_barber_shop_deadlock | 0.26 sec | Passed |
mc_mini_barber_shop_ok | 2 min 51 sec | Failed |
mc_mini_philosophers_mutex_deadlock | 3.1 sec | Passed |
mc_mini_philosophers_mutex_ok | 30 sec | Passed |
mc_mini_philosophers_semaphores_deadlock | 3.7 sec | Passed |
mc_mini_philosophers_semaphores_ok | 2.7 sec | Passed |
mc_mini_producer_consumer_deadlock | 0.24 sec | Passed |
mc_mini_producer_consumer_ok | 4.3 sec | Passed |
mc_mini_simple_barrier_deadlock | 0.23 sec | Passed |
mc_mini_simple_barrier_ok | 0.26 sec | Passed |
mc_mini_simple_barrier_with_threads_deadlock | 0.22 sec | Passed |
mc_mini_simple_barrier_with_threads_ok | 0.25 sec | Passed |
mc_mini_simple_cond_broadcast_deadlock | 0.23 sec | Passed |
mc_mini_simple_cond_broadcast_ok | 17 sec | Passed |
mc_mini_simple_cond_broadcast_with_semaphore_deadlock1 | 0.72 sec | Passed |
mc_mini_simple_cond_broadcast_with_semaphore_deadlock2 | 0.22 sec | Passed |
mc_mini_simple_cond_deadlock | 0.23 sec | Passed |
mc_mini_simple_cond_ok | 0.25 sec | Passed |
mc_mini_simple_mutex_deadlock | 0.22 sec | Passed |
mc_mini_simple_mutex_ok | 0.4 sec | Passed |
mc_mini_simple_mutex_with_threads_deadlock | 0.27 sec | Passed |
mc_mini_simple_mutex_with_threads_ok | 6.1 sec | Passed |
mc_mini_simple_semaphore_deadlock | 0.61 sec | Passed |
mc_mini_simple_semaphores_deadlock | 0.23 sec | Passed |
mc_mini_simple_semaphores_ok | 0.24 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.23 sec | Passed |
mc_mpi_iprobe_ok | 1.6 sec | Passed |
mc_random_bug | 11 sec | Passed |
mc_random_bug_replay | 0.17 sec | Passed |
tesh_mc_mutex_handling | 14 sec | Passed |
tesh_mc_mutex_handling_dpor | 0.3 sec | Passed |
tesh_mc_without_mutex_handling | 1.9 sec | Passed |
tesh_mc_without_mutex_handling_dpor | 0.26 sec | Passed |