main: add "maxreads" parameter

[model-checker.git] / model.h

diff --git a/model.h b/model.h
index b2f7897a310f7dc66fa88ce970893c43c252059c..990f559cc5af67fd368d5355bb890fc975a2c13d 100644 (file)
--- a/model.h
+++ b/model.h
@@ -28,6 +28,7 @@ class Promise;
  * the model checker.
  */
 struct model_params {
+       int maxreads;
 };
 
 /**