From 9eee54de6cd97a5a58f3185de0c4635123d398b2 Mon Sep 17 00:00:00 2001 From: Brian Norris Date: Thu, 28 Feb 2013 10:30:39 -0800 Subject: [PATCH] nodestack: bugfix - clear backtracking properly --- nodestack.cc | 1 + 1 file changed, 1 insertion(+) 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 -- 2.34.1