X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=model.cc;h=922a0d60e6daf360360c83852f70ee7e47f3cf4f;hb=44118f596eb7cd9b4b0b5037fbbf958db001accc;hp=3f200ed8e1afd2e7aff81d7b0a23ae6f0cbb7a19;hpb=365a6079a1b43cbc0fce6299449a4ec62876fb20;p=model-checker.git

diff --git a/model.cc b/model.cc
index 3f200ed..922a0d6 100644
--- a/model.cc
+++ b/model.cc
@@ -306,7 +306,7 @@ bool ModelChecker::next_execution()
 			pending_rel_seqs->size());
 
 
-	if (isfinalfeasible() || (params.bound != 0 && priv->used_sequence_numbers > params.bound ) || DBG_ENABLED() ) {
+	if (isfinalfeasible() || DBG_ENABLED()) {
 		checkDataRaces();
 		print_summary();
 	}