/* global "model" object */
#include "model.h"
+#include "params.h"
#include "snapshot-interface.h"
#include "scanalysis.h"
static void parse_options(struct model_params *params, int argc, char **argv)
{
- const char *shortopts = "hymc:M:s:S:f:e:b:u:v";
+ const char *shortopts = "hycm:M:s:S:f:e:b:u:v";
int opt;
bool error = false;
while (!error && (opt = getopt(argc, argv, shortopts)) != -1) {
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();