From: Brian Demsky <bdemsky@uci.edu> Date: Fri, 27 Jul 2012 08:59:52 +0000 (-0700) Subject: bugs... X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=8dcdd425a04e56cb0a41b6fff18c044118ffed62;p=c11tester.git bugs... --- diff --git a/nodestack.cc b/nodestack.cc index 6f7e6a20..77e24398 100644 --- a/nodestack.cc +++ b/nodestack.cc @@ -76,7 +76,7 @@ void Node::set_promise(uint32_t i) { */ bool Node::get_promise(uint32_t i) { - return (promises[i]==2); + return (i<promises.size())&&(promises[i]==2); } /** This method increments to the next combination of promises.