X-Git-Url: http://plrg.eecs.uci.edu/git/?p=model-checker.git;a=blobdiff_plain;f=model.h;h=1a2f6a145715fb7b8318eca7522048475ef9b436;hp=19143d36d4f433c5c734652fbd8fe7ae35a51853;hb=1bc8782b55cab0503f1b64529f993f0b9e3a1846;hpb=0c61161a061c85189d4d1531a9ad00caf2f2588d

diff --git a/model.h b/model.h
index 19143d3..1a2f6a1 100644
--- a/model.h
+++ b/model.h
@@ -29,6 +29,7 @@ class Promise;
  */
 struct model_params {
 	int maxreads;
+	int maxfuturedelay;
 };
 
 /**
@@ -91,7 +92,7 @@ private:
 	bool has_asserted() {return asserted;}
 	void reset_asserted() {asserted=false;}
 	int num_executions;
-
+	bool promises_expired();
 	const model_params params;
 
 	/**