projects / model-checker.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e44b975) | patch
action: remove clockvector flag from print() method
authorBrian Norris <banorris@uci.edu>
Wed, 3 Oct 2012 23:29:59 +0000 (16:29 -0700)
committerBrian Norris <banorris@uci.edu>
Wed, 3 Oct 2012 23:29:59 +0000 (16:29 -0700)
commita27eec056d90e248a071bea6912e5ab09dea8242
treea0f941857f73c8eb99b980c973ba8eab8d74f222tree | snapshot
parente44b9753a9b616cba58c2fb0583b876e3d4006aecommit | diff
action: remove clockvector flag from print() method

We don't actually need to tell ModelAction::print() when to print the
associated clock vector. The introduction of the 'print_cv' boolean flag
was to fix a separate bug that has been fixed. Now the clock vector can
be printed unconditionally, when it exists.
action.cc diff | blob | history
action.h diff | blob | history
model.cc diff | blob | history
C++11 memory model checker