replace non-fatal error messages with ASSERT()'s

[model-checker.git] / model.cc

diff --git a/model.cc b/model.cc
index 6fea489aa0130fc8e84d2345c9890234f922eedb..e0c16eba8e1ac0677c3a6de32d6e94230d949c37 100644 (file)
--- a/model.cc
+++ b/model.cc
@@ -108,8 +108,8 @@ thread_id_t ModelChecker::advance_backtracking_state()
 
        /* Else, we are trying to replay an execution */
        exploring->advance_state();
-       if (exploring->get_state() == NULL)
-               DEBUG("*** error: reached end of backtrack trace\n");
+
+       ASSERT(exploring->get_state() != NULL);
 
        return get_next_replay_thread();
 }