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.