projects / model-checker.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 7fb8a4d) | patch
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)
commitff3ab0abac18649da161a495781c3925cbcd62a4
tree92d7751bb8543bf5dba198c9659dbb9c40c333b1tree | snapshot
parent7fb8a4d038c69c14a3ac9cc8be16192712175004commit | diff
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 diff | blob | history
C++11 memory model checker