xbt_assert(argc >= 2, "Missing arguments");
// Currently, we need this before sg_config_init:
- simgrid::mc::cfg_do_model_check = 1;
+ simgrid::mc::cfg_do_model_check = true;
// The initialization function can touch argv.
// We make a copy of argv before modifying it in order to pass the original value to the model-checked application:
XBT_LOG_EXTERNAL_DEFAULT_CATEGORY(xbt_cfg);
-bool simgrid::mc::cfg_do_model_check = 0;
+bool simgrid::mc::cfg_do_model_check = false;
static void _mc_cfg_cb_check(const char* spec, bool more_check = true)
{
if (instance_)
return instance_.get();
- simgrid::mc::cfg_do_model_check = 1;
+ simgrid::mc::cfg_do_model_check = true;
setvbuf(stdout, nullptr, _IOLBF, 0);