X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=model.h;h=71b8b7ac0b97b2dcf4990de667f2418f29c41d94;hb=fa36db2da01d7da10e0cd375fda3c2db4ce3a05b;hp=c368ce6ef9cc7ca937cf78b580de1b5a80a6dd9d;hpb=56bd79d6fa2953585375f72cf061355fecd2c725;p=model-checker.git

diff --git a/model.h b/model.h
index c368ce6..71b8b7a 100644
--- a/model.h
+++ b/model.h
@@ -38,6 +38,7 @@ typedef std::list< ModelAction *, SnapshotAlloc<ModelAction *> > action_list_t;
 struct model_params {
 	int maxreads;
 	int maxfuturedelay;
+	bool yieldon;
 	unsigned int fairwindow;
 	unsigned int enabledcount;
 	unsigned int bound;