projects / model-checker.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c80c149) | patch
action: don't print clock vector when it is invalid
authorBrian Norris <banorris@uci.edu>
Tue, 2 Oct 2012 19:33:21 +0000 (12:33 -0700)
committerBrian Norris <banorris@uci.edu>
Wed, 3 Oct 2012 00:32:55 +0000 (17:32 -0700)
commit1ced3dc2f0a7640ec7f724c477ea87affc697ea9
tree0aa2b7a0964c87bf226ba382b392bff99dd8e8cdtree | snapshot
parentc80c149893770f4b86b3578a827c6a028985de7fcommit | diff
action: don't print clock vector when it is invalid

Due to clock vector snapshotting, a ModelAction may hold a pointer to
an inavlid ClockVector. This fix allows callers of ModelAction::print()
to prevent it from printing a corrupted ClockVector.
action.cc diff | blob | history
action.h diff | blob | history
model.cc diff | blob | history
C++11 memory model checker