From 199026a7c70a7274d2dcf5b8eb25dbe13e4f8875 Mon Sep 17 00:00:00 2001 From: Brian Norris Date: Mon, 19 Nov 2012 19:30:41 -0800 Subject: [PATCH] model/main: add argc/argv parameter ModelChecker will take care of launching the user program soon. --- main.cc | 4 ++++ model.h | 6 ++++++ 2 files changed, 10 insertions(+) diff --git a/main.cc b/main.cc index f6ab259..a577ed2 100644 --- a/main.cc +++ b/main.cc @@ -119,6 +119,10 @@ static void model_main() { parse_options(¶ms, &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 5473e52..04e191b 100644 --- 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 */ -- 2.34.1