_surf_do_model_check = xbt_cfg_get_int(_surf_cfg_set, name);
if (_surf_do_model_check) {
+#ifndef HAVE_MC
+ xbt_die("You tried to activate the model-checking from the command line, but it was not compiled in. Change your settings in cmake, recompile and try again");
+#endif
/* Tell modules using mallocators that they shouldn't. MC don't like them */
xbt_fifo_preinit();
xbt_dict_preinit();
static void _surf_cfg_cb_mc_checkpoint(const char *name, int pos)
{
_surf_do_mc_checkpoint = xbt_cfg_get_int(_surf_cfg_set, name);
-
+ xbt_cfg_set_int(_surf_cfg_set,"model-check",1);
}
extern int _surf_do_verbose_exit;