- "model-check/sleep-set",
- "Whether to enable the use of sleep-set in the reduction algorithm",
- true,
- [](bool) {
- _mc_cfg_cb_check("value to enable/disable the use of sleep-set in the reduction algorithm");
- }};
+ "model-check/sleep-set", "Whether to enable the use of sleep-set in the reduction algorithm", false,
+ [](bool) { _mc_cfg_cb_check("value to enable/disable the use of sleep-set in the reduction algorithm"); }};