From: Gabriel Corona <gabriel.corona@loria.fr>
Date: Fri, 21 Mar 2014 11:50:58 +0000 (+0100)
Subject: [mc] Flag state hashing (model-check/hash) as experimental
X-Git-Tag: v3_11~199^2~1
X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/77ad7d74e9c7c82e4338596278600b18bb87b3e3?ds=sidebyside

[mc] Flag state hashing (model-check/hash) as experimental
---

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");