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