From 45656107dfb389a4a8b017e0c4bacf8e70a8ebf3 Mon Sep 17 00:00:00 2001 From: Brian Norris Date: Thu, 15 Nov 2012 13:29:44 -0800 Subject: [PATCH] model: remove unnecessary DEBUG() --- model.cc | 3 --- 1 file changed, 3 deletions(-) diff --git a/model.cc b/model.cc index de3b3259..3ed8203f 100644 --- a/model.cc +++ b/model.cc @@ -337,9 +337,6 @@ bool ModelChecker::next_execution() num_feasible_executions++; } - DEBUG("Number of acquires waiting on pending release sequences: %zu\n", - pending_rel_seqs->size()); - if (isfinalfeasible() || DBG_ENABLED()) { checkDataRaces(); -- 2.34.1