if (_sg_cfg_init_status && !_sg_do_model_check)
xbt_die("You are specifying a soft dirty value after the initialization "
"(through MSG_config?), but model-checking was not activated "
"at config time (through --cfg=model-check:1). "
"This won't work, sorry.");
if (_sg_cfg_init_status && !_sg_do_model_check)
xbt_die("You are specifying a soft dirty value after the initialization "
"(through MSG_config?), but model-checking was not activated "
"at config time (through --cfg=model-check:1). "
"This won't work, sorry.");