projects / model-checker.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a6017fe) | patch
model: bugfix - rearrange debug message
authorBrian Norris <banorris@uci.edu>
Thu, 3 May 2012 21:01:58 +0000 (14:01 -0700)
committerBrian Norris <banorris@uci.edu>
Thu, 3 May 2012 21:10:44 +0000 (14:10 -0700)
commita89a58d94e8ef32d5e446c33be020e8ce885a387
tree9a959cc4c0361d05c01aa94cbd5038bc8df75027tree | snapshot
parenta6017fe478a3087152beb4b7d3da99b3be54d41ccommit | diff
model: bugfix - rearrange debug message

This debug message depends on 'exploring' still being a valid reference.
However, we immediately explore one step via get_next_replay_thread(), which
could discard this Backtrack object. So print the debug message before doing
any exploration of the next execution stage.
model.cc diff | blob | history
C++11 memory model checker