From: Gabriel Corona Date: Tue, 26 May 2015 14:04:47 +0000 (+0200) Subject: [mc] Marh the model-check/snapshot_fds option as disabled X-Git-Tag: v3_12~654 X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/651127b961f79604ed807f1c580ee5e96b13165f [mc] Marh the model-check/snapshot_fds option as disabled We need to bring it back in the new MC model. --- diff --git a/doc/doxygen/options.doc b/doc/doxygen/options.doc index 34207f526f..5e3df6a83f 100644 --- a/doc/doxygen/options.doc +++ b/doc/doxygen/options.doc @@ -933,7 +933,6 @@ silently overflow on other parts of the memory. - \c model-check/reduction: \ref options_modelchecking_reduction - \c model-check/replay: \ref options_modelchecking_recordreplay - \c model-check/send_determinism: \ref options_modelchecking_sparse_checkpoint -- \c model-check/snapshot_fds: \ref options_modelchecking_snapshot_fds - \c model-check/sparse-checkpoint: \ref options_modelchecking_sparse_checkpoint - \c model-check/termination: \ref options_modelchecking_termination - \c model-check/timeout: \ref options_modelchecking_timeout 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);