X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=nodestack.cc;h=06259b91c54964ba4c094af50347c11a23d9cb41;hb=fe7b400edb33255770fb47ad520afbd05d13a231;hp=7471c744d1a19e5b57c3ebce764fbb754dc79b86;hpb=547377c72c02a7831b63f5c7aa2ac2559109907c;p=model-checker.git

diff --git a/nodestack.cc b/nodestack.cc
index 7471c74..06259b9 100644
--- a/nodestack.cc
+++ b/nodestack.cc
@@ -316,12 +316,12 @@ void Node::add_read_from(const ModelAction *act)
  * @return The first element in future_values
  */
 uint64_t Node::get_future_value() {
-	ASSERT(future_index<((int)future_values.size()));
+	ASSERT(future_index >= 0 && future_index<((int)future_values.size()));
 	return future_values[future_index].value;
 }
 
 modelclock_t Node::get_future_value_expiration() {
-	ASSERT(future_index<((int)future_values.size()));
+	ASSERT(future_index >= 0 && future_index<((int)future_values.size()));
 	return future_values[future_index].expiration;
 }