From 077d73c2be9efab32c98a1b5213461525b73ad36 Mon Sep 17 00:00:00 2001 From: Martin Quinson Date: Wed, 20 Jun 2012 22:46:41 +0200 Subject: [PATCH 1/1] MC checkpoints implies MC --- src/surf/surf_config.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/surf/surf_config.c b/src/surf/surf_config.c index d761b0447e..830675d845 100644 --- a/src/surf/surf_config.c +++ b/src/surf/surf_config.c @@ -245,7 +245,7 @@ extern int _surf_do_mc_checkpoint; /* this variable lives in xbt_main until I 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; -- 2.20.1