X-Git-Url: http://plrg.eecs.uci.edu/git/?p=model-checker.git;a=blobdiff_plain;f=params.h;h=d5fd1cb3e0b6ff23815015bad429282d6f08bab5;hp=ac5dd9665b6a2cf5e66b276668bb127eb98e4230;hb=HEAD;hpb=251c63183adee7dbdceeabce5a706e8281bc2887;ds=sidebyside

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