X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/2cd779436d49dabd1bcf6162a19c96f66d8cd7c8..651127b961f79604ed807f1c580ee5e96b13165f:/src/simgrid/sg_config.c diff --git a/src/simgrid/sg_config.c b/src/simgrid/sg_config.c index 763192e633..56e24ce21d 100644 --- a/src/simgrid/sg_config.c +++ b/src/simgrid/sg_config.c @@ -687,6 +687,7 @@ void sg_config_init(int *argc, char **argv) xbt_cfg_setdefault_boolean(_sg_cfg_set, "model-check/hash", "no"); /* Set max depth exploration */ + /* Currently, this option cannot be used. */ xbt_cfg_register(&_sg_cfg_set, "model-check/snapshot_fds", "Whether file descriptors must be snapshoted", xbt_cfgelm_boolean, 1, 1, _mc_cfg_cb_snapshot_fds, NULL);