From: Marion Guthmuller Date: Tue, 18 Feb 2014 14:33:43 +0000 (+0100) Subject: model-checker : minor fix X-Git-Tag: v3_11~199^2~2^2~27 X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/7b69ebcba84a0f8d4d23684c1eff7a7aa738b65f?hp=c2086224c80533a59cd9df04879935b5803a98df model-checker : minor fix --- diff --git a/src/simgrid/sg_config.c b/src/simgrid/sg_config.c index 0d904ae5a8..7a1ceb4867 100644 --- a/src/simgrid/sg_config.c +++ b/src/simgrid/sg_config.c @@ -564,7 +564,7 @@ void sg_config_init(int *argc, char **argv) /* do stateful model-checking */ xbt_cfg_register(&_sg_cfg_set, "model-check/checkpoint", "Specify the amount of steps between checkpoints during stateful model-checking (default: 0 => stateless verification). " - "If value=on, one checkpoint is saved for each step => faster verification, but huge memory consumption; higher values are good compromises between speed and memory consumption.", + "If value=1, one checkpoint is saved for each step => faster verification, but huge memory consumption; higher values are good compromises between speed and memory consumption.", xbt_cfgelm_int, 0, 1, _mc_cfg_cb_checkpoint, NULL); xbt_cfg_setdefault_int(_sg_cfg_set, "model-check/checkpoint", 0);