projects / model-checker.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 4397463) | patch
nodestack: print extra backtracking info
authorBrian Norris <banorris@uci.edu>
Thu, 13 Dec 2012 23:18:12 +0000 (15:18 -0800)
committerBrian Norris <banorris@uci.edu>
Thu, 13 Dec 2012 23:18:12 +0000 (15:18 -0800)
commitd9e24346b98954bd73c9b798fd31031ff3781163
treedf494b8952eb1e33da2e9b2ffc3a7c350dac9baftree | snapshot
parent43974636b8a2773c4cd8f6f1a2537e5d52b3145bcommit | diff
nodestack: print extra backtracking info

If we ever use the Node::print() method, print some extra info about
backtracking.
nodestack.cc diff | blob | history
C++11 memory model checker