}
+mc_snapshot_t SIMIX_pre_mc_snapshot(smx_simcall_t simcall){
+ return MC_take_snapshot();
+}
+
mc_snapshot_t MC_take_snapshot()
{
}
}
- snapshot->stacks = take_snapshot_stacks(heap);
+ if(_surf_mc_visited > 0 || strcmp(_surf_mc_property_file,""))
+ snapshot->stacks = take_snapshot_stacks(heap);
free_memory_map(maps);
fp = popen(command, "r");
- if(fp == NULL)
+ if(fp == NULL){
perror("popen failed");
+ xbt_abort();
+ }
while ((read = getline(&line, &n, fp)) != -1 && plt_not_found == 1) {
fp = popen(command, "r");
- if(fp == NULL)
+ if(fp == NULL){
perror("popen failed");
+ xbt_abort();
+ }
while ((read = getline(&line, &n, fp)) != -1 && plt_not_found == 1) {