Implement pthread_barrier calls in sthread, and test them in McMini

[simgrid.git] / teshsuite / mc / CMakeLists.txt

diff --git a/teshsuite/mc/CMakeLists.txt b/teshsuite/mc/CMakeLists.txt
index 8432916..41cad5e 100644 (file)
--- a/teshsuite/mc/CMakeLists.txt
+++ b/teshsuite/mc/CMakeLists.txt
@@ -56,7 +56,6 @@ foreach(x
              simple_semaphores_with_threads_ok simple_semaphores_with_threads_deadlock
 #                   
 #                   philosophers_spurious_deadlock
-#                   simple_barrier_with_threads_deadlock
 #                   simple_cond_broadcast_with_semaphore_deadlock1  simple_cond_broadcast_with_semaphore_deadlock2
             
              barber_shop_ok             barber_shop_deadlock
@@ -67,7 +66,9 @@ foreach(x
              
              # producer_consumer_spurious_nok # infinite no-op loop
              
-#             simple_barrier_ok simple_barrier_with_threads_ok simple_cond_broadcast_ok
+             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
              )