projects
/
model-checker.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
promise: add max_available_thread_idx() interface
[model-checker.git]
/
main.cc
diff --git
a/main.cc
b/main.cc
index 815a382360d5ed87763fe64e5bdf497cdeb243ae..56eb311dd86f755d45989972d1fe165be74c60a2 100644
(file)
--- a/
main.cc
+++ b/
main.cc
@@
-11,6
+11,7
@@
/* global "model" object */
#include "model.h"
/* global "model" object */
#include "model.h"
+#include "params.h"
#include "snapshot-interface.h"
#include "scanalysis.h"
#include "snapshot-interface.h"
#include "scanalysis.h"
@@
-132,9
+133,10
@@
static void parse_options(struct model_params *params, int argc, char **argv)
int main_argc;
char **main_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)
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. */
}
/** The model_main function contains the main model checking loop. */
@@
-152,7
+154,7
@@
static void model_main()
snapshot_stack_init();
model = new ModelChecker(params);
snapshot_stack_init();
model = new ModelChecker(params);
- install_trace_analyses();
+ install_trace_analyses(
model->get_execution()
);
snapshot_record(0);
model->run();
snapshot_record(0);
model->run();