From: Marion Guthmuller Date: Tue, 18 Feb 2014 14:33:43 +0000 (+0100) Subject: model-checker : minor fix X-Git-Tag: v3_11~242^2~8 X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/c5456a803d9cab4e53d2f7074a3135e843c57c62?hp=6762714f898f1801ddc8b729973f01e83146baf3 model-checker : minor fix --- diff --git a/src/simgrid/sg_config.c b/src/simgrid/sg_config.c index 2b4840f9b2..fa8f4f79ab 100644 --- a/src/simgrid/sg_config.c +++ b/src/simgrid/sg_config.c @@ -580,7 +580,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);