model/main: add argc/argv parameter

ModelChecker will take care of launching the user program soon.

diff --git a/main.cc b/main.cc
index f6ab259a64bb1ddfe85ec092518fdb091f23849a..a577ed2b43b1268c96a74f011702876f316ea9b5 100644 (file)
--- a/main.cc
+++ b/main.cc
@@ -119,6 +119,10 @@ static void model_main() {
 
        parse_options(&params, &main_argc, &main_argv);
 
+       /* Pass remaining arguments to user program */
+       params.argc = main_argc;
+       params.argv = main_argv;
+
        //Initialize race detector
        initRaceDetector();
 

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 */