From: Brian Norris <banorris@uci.edu>
Date: Wed, 6 Mar 2013 02:36:58 +0000 (-0800)
Subject: model: don't print 'uninitialized' ModelActions in trace output
X-Git-Url: http://plrg.eecs.uci.edu/git/?p=c11tester.git;a=commitdiff_plain;h=ff3ab0abac18649da161a495781c3925cbcd62a4

model: don't print 'uninitialized' ModelActions in trace output

If we proliferate a large number of atomic objects, we can generate a
lot of fake 'uninitialized' ModelActions. Don't print these in traces,
as it just clutters the output.
---

diff --git a/model.cc b/model.cc
index d15a094f..cd703edf 100644
--- a/model.cc
+++ b/model.cc
@@ -2814,7 +2814,9 @@ static void print_list(action_list_t *list)
 	unsigned int hash = 0;
 
 	for (it = list->begin(); it != list->end(); it++) {
-		(*it)->print();
+		const ModelAction *act = *it;
+		if (act->get_seq_number() > 0)
+			act->print();
 		hash = hash^(hash<<3)^((*it)->hash());
 	}
 	model_print("HASH %u\n", hash);