From ff3ab0abac18649da161a495781c3925cbcd62a4 Mon Sep 17 00:00:00 2001 From: Brian Norris Date: Tue, 5 Mar 2013 18:36:58 -0800 Subject: [PATCH] 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. --- model.cc | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/model.cc b/model.cc index d15a094..cd703ed 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); -- 2.34.1