Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
[mc] Flag state hashing (model-check/hash) as experimental
authorGabriel Corona <gabriel.corona@loria.fr>
Fri, 21 Mar 2014 11:50:58 +0000 (12:50 +0100)
committerGabriel Corona <gabriel.corona@loria.fr>
Fri, 21 Mar 2014 11:50:58 +0000 (12:50 +0100)
src/simgrid/sg_config.c

index 9a97006..7d4da0b 100644 (file)
@@ -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 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");
 
                      xbt_cfgelm_boolean, 1, 1, _mc_cfg_cb_hash, NULL);
     xbt_cfg_setdefault_boolean(_sg_cfg_set, "model-check/hash", "no");