From 07e586be4bf6cd4490fc7bb466d5b7bdaef8c20a Mon Sep 17 00:00:00 2001 From: Marion Guthmuller Date: Wed, 20 Jun 2012 18:45:48 +0200 Subject: [PATCH] Revert "model-checker : add new surf configuration mc-checkpoint" Need more modifications This reverts commit 997b2f3f37f1b2ee77b2dfbf82c70e183a5ed5f3. --- src/surf/surf_config.c | 15 --------------- 1 file changed, 15 deletions(-) diff --git a/src/surf/surf_config.c b/src/surf/surf_config.c index 1c0da25434..8a9fd60af8 100644 --- a/src/surf/surf_config.c +++ b/src/surf/surf_config.c @@ -237,13 +237,6 @@ static void _surf_cfg_cb_model_check(const char *name, int pos) } } -extern int _surf_do_mc_checkpoint; - -static void _surf_cfg_cb_mc_checkpoint(const char *name, int pos) -{ - _surf_do_mc_checkpoint = xbt_cfg_get_int(_surf_cfg_set, name); -} - extern int _surf_do_verbose_exit; static void _surf_cfg_cb_verbose_exit(const char *name, int pos) @@ -491,14 +484,6 @@ void surf_config_init(int *argc, char **argv) _surf_cfg_cb_model_check which sets it's value to 1 (instead of the default value 0) xbt_cfg_set_int(_surf_cfg_set, "model-check", default_value_int); */ - /* do stateful model-check */ - default_value_int = 0; - xbt_cfg_register(&_surf_cfg_set, "mc-checkpoint", - "Activate the stateful model-checking of the \"simulated\" system (EXPERIMENTAL -- msg only for now), value corresponding to steps between each checkpoint", - xbt_cfgelm_int, &default_value_int, 0, 1, - _surf_cfg_cb_model_check, NULL); - - /* do verbose-exit */ default_value_int = 1; xbt_cfg_register(&_surf_cfg_set, "verbose-exit", -- 2.20.1