nodestack: regroup some code
authorBrian Norris <banorris@uci.edu>
Thu, 28 Mar 2013 22:21:00 +0000 (15:21 -0700)
committerBrian Norris <banorris@uci.edu>
Thu, 28 Mar 2013 22:21:00 +0000 (15:21 -0700)
commit73ba97016012e678ba1ad7d45970265470501b61
treedcdccf0575dc3322c2f2c8c4ae4ccfb29753989c
parenta11b6cce3a692a041cbfb772282a68be7949eb02
nodestack: regroup some code

To put "threads backtracking" code together
nodestack.cc