#include <threads.h>
#include "common.h"
#include "threads-model.h"
+#include "output.h"
#include "datarace.h"
params->enabledcount = 1;
params->bound = 0;
params->maxfuturevalues = 0;
- params->expireslop = 2;
+ params->expireslop = 10;
}
static void print_usage(struct model_params *params) {
/* Reset defaults before printing */
param_defaults(params);
- printf(
+ model_print(
"Usage: <program name> [MC_OPTIONS] -- [PROGRAM ARGUMENTS]\n"
"\n"
"Options:\n"
model->finish_execution();
} while (model->next_execution());
+ model->print_stats();
+
delete model;
DEBUG("Exiting\n");
main_argc = argc;
main_argv = argv;
+ /* Configure output redirection for the model-checker */
+ redirect_output();
+
/* Let's jump in quickly and start running stuff */
initSnapshotLibrary(10000, 1024, 1024, 4000, &model_main);
}