model/main: add argc/argv parameter

[model-checker.git] / model.h

diff --git a/model.h b/model.h
index 5473e52c2c78b3613ca5f0013c29f5a41f895dd4..04e191bed53340819ee1fa87c326bf9bcfbc89a6 100644 (file)
--- a/model.h
+++ b/model.h
@@ -50,6 +50,12 @@ struct model_params {
 
        /** @brief Verbosity (0 = quiet; 1 = noisy) */
        int verbose;
+
+       /** @brief Command-line argument count to pass to user program */
+       int argc;
+
+       /** @brief Command-line arguments to pass to user program */
+       char **argv;
 };
 
 /** @brief Model checker execution stats */