}
}
- snapshot->stacks = take_snapshot_stacks(heap);
+ if(_surf_mc_stateful > 0 || _surf_mc_property_file)
+ snapshot->stacks = take_snapshot_stacks(heap);
free_memory_map(maps);
MC_UNSET_RAW_MEM;
- MC_init();
+ if(_surf_mc_stateful > 0){
+ MC_init();
+ }else{
+ MC_init_memory_map_info();
+ get_libsimgrid_plt_section();
+ get_binary_plt_section();
+ }
MC_dpor_init();
_mc_cfg_cb_max_depth, NULL);
/* Set number of visited state stored in stateful mode */
- default_value_int = 10;
+ default_value_int = 0;
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",
+ "Specify the number of visited state stored in stateful mode. If value=5, the last 5 visited states are stored",
xbt_cfgelm_int, &default_value, 0, 1,
_mc_cfg_cb_stateful, NULL);
#endif
char* _surf_mc_property_file=NULL;
int _surf_mc_timeout=0;
int _surf_mc_max_depth=1000;
-int _surf_mc_stateful=10;
+int _surf_mc_stateful=0;
/* Declare xbt_preinit and xbt_postexit as constructor/destructor of the library.
* This is crude and rather compiler-specific, unfortunately.