From: Brian Norris Date: Thu, 28 Feb 2013 18:30:39 +0000 (-0800) Subject: nodestack: bugfix - clear backtracking properly X-Git-Tag: oopsla2013~203 X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=9eee54de6cd97a5a58f3185de0c4635123d398b2;p=model-checker.git nodestack: bugfix - clear backtracking properly --- diff --git a/nodestack.cc b/nodestack.cc index e6f0269..00cc30f 100644 --- a/nodestack.cc +++ b/nodestack.cc @@ -285,6 +285,7 @@ void Node::clear_backtracking() backtrack[i] = false; for (unsigned int i = 0; i < explored_children.size(); i++) explored_children[i] = false; + numBacktracks = 0; } bool Node::is_enabled(Thread *t) const