include teshsuite/mc/mcmini/simple_semaphores_with_threads_deadlock.tesh
include teshsuite/mc/mcmini/simple_semaphores_with_threads_ok.c
include teshsuite/mc/mcmini/simple_semaphores_with_threads_ok.tesh
include teshsuite/mc/mcmini/simple_semaphores_with_threads_deadlock.tesh
include teshsuite/mc/mcmini/simple_semaphores_with_threads_ok.c
include teshsuite/mc/mcmini/simple_semaphores_with_threads_ok.tesh