xbt_cfg_register_boolean("model-check/communications-determinism", "no", _mc_cfg_cb_comms_determinism,
"Whether to enable the detection of communication determinism");
xbt_cfg_register_alias("model-check/communications-determinism","model-check/communications_determinism");
xbt_cfg_register_boolean("model-check/communications-determinism", "no", _mc_cfg_cb_comms_determinism,
"Whether to enable the detection of communication determinism");
xbt_cfg_register_alias("model-check/communications-determinism","model-check/communications_determinism");