/* global "model" object */
#include "model.h"
+#include "params.h"
#include "snapshot-interface.h"
#include "scanalysis.h"
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. */
snapshot_stack_init();
model = new ModelChecker(params);
- install_trace_analyses();
+ install_trace_analyses(model->get_execution());
snapshot_record(0);
model->run();