change cds checker to accomdate llvm pass

[c11tester.git] / model.cc

diff --git a/model.cc b/model.cc
index bfb6d22f85009e61e0d4fbad5926764328a4a8fd..ccc109a7be96594f395c2ccd0f6ab56cf230a88f 100644 (file)
--- a/model.cc
+++ b/model.cc
@@ -512,11 +512,14 @@ void ModelChecker::run()
                                if (act && execution->is_enabled(th) && (th->get_state() != THREAD_BLOCKED) ){
                                        if (act->is_write()){
                                                std::memory_order order = act->get_mo(); 
-                                               if (order == std::memory_order_relaxed || order == std::memory_order_release) {
+                                               if (order == std::memory_order_relaxed || \
+                                                       order == std::memory_order_release) {
                                                        t = th;
                                                        break;
                                                }
-                                       } else if (act->get_type() == THREAD_CREATE || act->get_type() == THREAD_START || act->get_type() == THREAD_FINISH) {
+                                       } else if (act->get_type() == THREAD_CREATE || \
+                                                       act->get_type() == THREAD_START || \
+                                                       act->get_type() == THREAD_FINISH) {
                                                t = th;
                                                break;
                                        }                               
@@ -539,7 +542,7 @@ void ModelChecker::run()
 
                has_next = next_execution();
                i++;
-       } while (i<250); // while (has_next);
+       } while (i<100); // while (has_next);
 
        execution->fixup_release_sequences();