-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");
+simgrid::config::Flag<bool> _sg_mc_unfolding_checker{
+ "model-check/unfolding-checker",
+ "Whether to enable the unfolding-based dynamic partial order reduction to MPI programs", false, [](bool) {
+ _mc_cfg_cb_check("value to to enable/disable the unfolding-based dynamic partial order reduction to MPI programs");