model: don't print 'uninitialized' ModelActions in trace output
authorBrian Norris <banorris@uci.edu>
Wed, 6 Mar 2013 02:36:58 +0000 (18:36 -0800)
committerBrian Norris <banorris@uci.edu>
Wed, 6 Mar 2013 02:36:58 +0000 (18:36 -0800)
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.


No differences found