- [](const std::string&) { _mc_cfg_cb_check("buffering mode"); }};
-
-static simgrid::config::Flag<std::string> _sg_mc_reduce{
- "model-check/reduction", "Specify the kind of exploration reduction (either none or DPOR)", "dpor",
- [](const std::string& value) {
- _mc_cfg_cb_check("reduction strategy");
-
- if (value == "none")
- simgrid::mc::reduction_mode = simgrid::mc::ReductionMode::none;
- else if (value == "dpor")
- simgrid::mc::reduction_mode = simgrid::mc::ReductionMode::dpor;
- else
- xbt_die("configuration option model-check/reduction can only take 'none' or 'dpor' as a value");
- }};