X-Git-Url: http://bilbo.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/30e0627bbfc12ce4ebeacfda720bc52e95feb22c..6051369d9427154f912e8affc417f20a26a0eb95:/teshsuite/mc/CMakeLists.txt

diff --git a/teshsuite/mc/CMakeLists.txt b/teshsuite/mc/CMakeLists.txt
index 8432916476..5ec629a0f6 100644
--- a/teshsuite/mc/CMakeLists.txt
+++ b/teshsuite/mc/CMakeLists.txt
@@ -46,30 +46,32 @@ 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_cond_deadlock
              simple_mutex_ok simple_mutex_deadlock
              simple_mutex_with_threads_ok simple_mutex_with_threads_deadlock
 
              simple_semaphore_deadlock simple_semaphores_deadlock
              simple_semaphores_ok
              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
 	     
+             simple_threads_ok
+
              barber_shop_ok             barber_shop_deadlock
              philosophers_semaphores_ok philosophers_semaphores_deadlock
              philosophers_mutex_ok      philosophers_mutex_deadlock
              producer_consumer_ok       producer_consumer_deadlock    
              
-             
+             # philosophers_spurious_deadlock # infinite no-op loop             
              # producer_consumer_spurious_nok # infinite no-op loop
-             
-#             simple_barrier_ok simple_barrier_with_threads_ok 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)