X-Git-Url: http://demsky.eecs.uci.edu/git/?p=model-checker.git;a=blobdiff_plain;f=params.h;fp=params.h;h=c5b617bc7d64222617d10d0091b45f923bdaf806;hp=ac5dd9665b6a2cf5e66b276668bb127eb98e4230;hb=e79a7cd8e9c85d37a5d5c2a81ca14b1017b1b305;hpb=2d0d4ac38e05905a6633b3f2d5112ccadd45c27f

diff --git a/params.h b/params.h
index ac5dd96..c5b617b 100644
--- a/params.h
+++ b/params.h
@@ -14,6 +14,7 @@ struct model_params {
 	unsigned int enabledcount;
 	unsigned int bound;
 	unsigned int uninitvalue;
+	unsigned int maxexecutions;
 
 	/** @brief Maximum number of future values that can be sent to the same
 	 *  read */