From c5456a803d9cab4e53d2f7074a3135e843c57c62 Mon Sep 17 00:00:00 2001 From: Marion Guthmuller Date: Tue, 18 Feb 2014 15:33:43 +0100 Subject: [PATCH] model-checker : minor fix --- src/simgrid/sg_config.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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); -- 2.20.1