From 77ad7d74e9c7c82e4338596278600b18bb87b3e3 Mon Sep 17 00:00:00 2001 From: Gabriel Corona Date: Fri, 21 Mar 2014 12:50:58 +0100 Subject: [PATCH] [mc] Flag state hashing (model-check/hash) as experimental --- 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 9a97006461..7d4da0ba03 100644 --- a/src/simgrid/sg_config.c +++ b/src/simgrid/sg_config.c @@ -624,7 +624,7 @@ void sg_config_init(int *argc, char **argv) /* Enable/disable global hash computation with model-checking */ xbt_cfg_register(&_sg_cfg_set, "model-check/hash", - "Enable/Disable state hash for state comparison", + "Enable/Disable state hash for state comparison (exprimental)", xbt_cfgelm_boolean, 1, 1, _mc_cfg_cb_hash, NULL); xbt_cfg_setdefault_boolean(_sg_cfg_set, "model-check/hash", "no"); -- 2.20.1