- "model-check/timeout", "Whether to enable timeouts for wait requests", false,
- [](bool) { _mc_cfg_cb_check("value to enable/disable timeout for wait requests", MC_record_path.empty()); }};
+ "model-check/timeout", "Whether to enable timeouts for wait requests", false, [](bool) {
+ _mc_cfg_cb_check("value to enable/disable timeout for wait requests", not MC_record_replay_is_active());
+ }};