X-Git-Url: http://bilbo.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/d4854883e75206804034547ff47080ec1a751e35..7097ed501ac302a5f0a2b3cd37114c81ec2e9145:/teshsuite/mc/CMakeLists.txt diff --git a/teshsuite/mc/CMakeLists.txt b/teshsuite/mc/CMakeLists.txt index 41cad5ea1d..1209bc0aa4 100644 --- a/teshsuite/mc/CMakeLists.txt +++ b/teshsuite/mc/CMakeLists.txt @@ -46,8 +46,17 @@ endif() foreach(x -# -# simple_cond_broadcast_deadlock simple_barrier_deadlock simple_cond_deadlock + simple_barrier_ok simple_barrier_deadlock + simple_barrier_with_threads_ok simple_barrier_with_threads_deadlock + +# simple_cond_ok + +# simple_cond_broadcast_ok simple_cond_broadcast_deadlock +# simple_cond_broadcast_with_semaphore_ok +# simple_cond_broadcast_with_semaphore_deadlock1 simple_cond_broadcast_with_semaphore_deadlock2 +# simple_threads_ok + +# simple_cond_deadlock simple_mutex_ok simple_mutex_deadlock simple_mutex_with_threads_ok simple_mutex_with_threads_deadlock @@ -56,7 +65,6 @@ foreach(x simple_semaphores_with_threads_ok simple_semaphores_with_threads_deadlock # # philosophers_spurious_deadlock -# simple_cond_broadcast_with_semaphore_deadlock1 simple_cond_broadcast_with_semaphore_deadlock2 barber_shop_ok barber_shop_deadlock philosophers_semaphores_ok philosophers_semaphores_deadlock @@ -65,12 +73,6 @@ foreach(x # producer_consumer_spurious_nok # infinite no-op loop - - simple_barrier_ok simple_barrier_deadlock - simple_barrier_with_threads_ok simple_barrier_with_threads_deadlock -# simple_cond_broadcast_ok -# simple_cond_broadcast_with_semaphore_ok simple_cond_ok -# simple_threads_ok ) set(teshsuite_src ${teshsuite_src} ${CMAKE_CURRENT_SOURCE_DIR}/mcmini/${x}.c)