#include <climits>
-XBT_LOG_NEW_DEFAULT_SUBCATEGORY(mc_config, mc, "Configuration of the Model Checker");
-
#if SIMGRID_HAVE_MC
namespace simgrid {
namespace mc {
"infty",
{{"zero", "No system buffering: MPI_Send is blocking"},
{"infty", "Infinite system buffering: MPI_Send returns immediately"}},
- [](const std::string& value) { _mc_cfg_cb_check("buffering mode"); }};
+ [](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",