X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=main.cc;fp=main.cc;h=56eb311dd86f755d45989972d1fe165be74c60a2;hb=bde05423f877315edafd321fe5de7235c58ac898;hp=689fe9dd4dbd3698e66d5bfe5adfbd66330efbe6;hpb=7d4142d82bfa30baa4452430268a9a337eff3fbf;p=model-checker.git

diff --git a/main.cc b/main.cc
index 689fe9d..56eb311 100644
--- a/main.cc
+++ b/main.cc
@@ -133,9 +133,10 @@ static void parse_options(struct model_params *params, int argc, char **argv)
 int main_argc;
 char **main_argv;
 
-void install_trace_analyses() {
+static void install_trace_analyses(const ModelExecution *execution)
+{
 	if (model->params.sc_trace_analysis)
-		model->add_trace_analysis(new SCAnalysis());
+		model->add_trace_analysis(new SCAnalysis(execution));
 }
 
 /** The model_main function contains the main model checking loop. */
@@ -153,7 +154,7 @@ static void model_main()
 	snapshot_stack_init();
 
 	model = new ModelChecker(params);
-	install_trace_analyses();
+	install_trace_analyses(model->get_execution());
 
 	snapshot_record(0);
 	model->run();