From: Brian Norris <banorris@uci.edu>
Date: Tue, 20 Nov 2012 03:30:41 +0000 (-0800)
Subject: model/main: add argc/argv parameter
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=199026a7c70a7274d2dcf5b8eb25dbe13e4f8875;p=cdsspec-compiler.git

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 f6ab259..a577ed2 100644
--- 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 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 */