X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=model.cc;h=e0c16eba8e1ac0677c3a6de32d6e94230d949c37;hb=aa162e6bfce69729bae70bae1f8009262f6e9bbf;hp=6fea489aa0130fc8e84d2345c9890234f922eedb;hpb=e88424edbf9ec1ff1df8e83e10a317dae3704628;p=model-checker.git

diff --git a/model.cc b/model.cc
index 6fea489..e0c16eb 100644
--- 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();
 }