/* Set max depth exploration */
default_value_int = 1000;
xbt_cfg_register(&_surf_cfg_set, "model-check/max_depth",
- "Specify the max depth of exploration",
+ "Specify the max depth of exploration (default : 1000)",
xbt_cfgelm_int, &default_value, 0, 1,
_mc_cfg_cb_max_depth, NULL);
+
+ /* Set number of visited state stored in stateful mode */
+ default_value_int = 10;
+ xbt_cfg_register(&_surf_cfg_set, "model-check/stateful",
+ "Specify the number of visited state stored in stateful mode. The default value is 10 which means that we only keep in memory the last 10 visited states",
+ xbt_cfgelm_int, &default_value, 0, 1,
+ _mc_cfg_cb_stateful, NULL);
#endif
/* do verbose-exit */