move state dequeue prior to error check in explore()

The bail out condition will soon need to ask about the state depth as well. Github: related to #131 "minimal trace mode"
Smattr · Jun 16, 2019 · 963ccbb · 963ccbb
1 parent 1c8cb06
commit 963ccbb
Showing 1 changed file with 5 additions and 5 deletions.
diff --git a/rumur/src/generate-model.cc b/rumur/src/generate-model.cc
@@ -797,14 +797,14 @@ void generate_model(std::ostream &out, const Model &m) {
       << "\n"
       << "  for (;;) {\n"
       << "\n"
-      << "    if (THREADS > 1 && __atomic_load_n(&error_count,\n"
-      << "        __ATOMIC_SEQ_CST) >= MAX_ERRORS) {\n"
-      << "      /* Another thread found an error. */\n"
+      << "    const struct state *s = queue_dequeue(&queue_id);\n"
+      << "    if (s == NULL) {\n"
       << "      break;\n"
       << "    }\n"
       << "\n"
-      << "    const struct state *s = queue_dequeue(&queue_id);\n"
-      << "    if (s == NULL) {\n"
+      << "    if (THREADS > 1 && __atomic_load_n(&error_count,\n"
+      << "        __ATOMIC_SEQ_CST) >= MAX_ERRORS) {\n"
+      << "      /* Another thread found an error. */\n"
       << "      break;\n"
       << "    }\n"
       << "\n"