bugs...
[model-checker.git] / nodestack.cc
index 6f7e6a205f6a7e317b3373837fce74ee8cd202c1..77e24398931a0a2ee3d9e7bb662813ae4f3f7231 100644 (file)
@@ -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.