+ xbt_cfg_setdefault_int(_surf_cfg_set, "model-check/max_depth", 1000);
+
+ /* Set number of visited state stored for state comparison reduction*/
+ xbt_cfg_register(&_surf_cfg_set, "model-check/visited",
+ "Specify the number of visited state stored for state comparison reduction. If value=5, the last 5 visited states are stored",
+ xbt_cfgelm_int, NULL, 0, 1,
+ _mc_cfg_cb_visited, NULL);
+ xbt_cfg_setdefault_int(_surf_cfg_set, "model-check/visited", 0);