projects / model-checker.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: ba8e01e) | patch
nodestack: don't perform linear search to check if backtrack is empty
authorBrian Norris <banorris@uci.edu>
Tue, 19 Jun 2012 23:33:52 +0000 (16:33 -0700)
committerBrian Norris <banorris@uci.edu>
Tue, 19 Jun 2012 23:33:52 +0000 (16:33 -0700)
commit8d8db345ee33c276ea7f6ee880035182448e7326
treed65401ca8425212990591e079345f99aa2769680tree | snapshot
parentba8e01e37619cd2003116974e681912f55f667b7commit | diff
nodestack: don't perform linear search to check if backtrack is empty

Add a simple add/remove counter to record when threads are 'added' and
'removed' from the backtracking set.
nodestack.cc diff | blob | history
nodestack.h diff | blob | history
C++11 memory model checker