Another easy test from McMini

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

diff --git a/teshsuite/mc/CMakeLists.txt b/teshsuite/mc/CMakeLists.txt
index 1209bc0..5ec629a 100644 (file)
--- a/teshsuite/mc/CMakeLists.txt
+++ b/teshsuite/mc/CMakeLists.txt
@@ -54,7 +54,6 @@ foreach(x
 #            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
@@ -63,15 +62,15 @@ foreach(x
              simple_semaphore_deadlock simple_semaphores_deadlock
              simple_semaphores_ok
              simple_semaphores_with_threads_ok simple_semaphores_with_threads_deadlock
-#                   
-#                   philosophers_spurious_deadlock
             
+             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
              )