model/main: disable most printing by default, add verbosity

[model-checker.git] / model.h

diff --git a/model.h b/model.h
index 86fa3e6ab901364c1b7f1df2214c568529fe238a..bbad36e40ae727a93fe0e8e927aeb0ebe4b91da5 100644 (file)
--- a/model.h
+++ b/model.h
@@ -47,6 +47,9 @@ struct model_params {
         *  expiration time exceeds the existing one by more than the slop
         *  value */
        unsigned int expireslop;
+
+       /** @brief Verbosity (0 = quiet; 1 = noisy) */
+       int verbose;
 };
 
 /** @brief Model checker execution stats */