summary |
shortlog |
log |
commit | commitdiff |
tree
raw |
patch |
inline | side by side (from parent 1:
5d5698d)
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@9275
48e7efb5-ca39-0410-a469-
dd3cf9ba447f
xbt_swag_foreach(process, simix_global->process_list){
xbt_setset_elm_add(mc_setset, process);
}
xbt_swag_foreach(process, simix_global->process_list){
xbt_setset_elm_add(mc_setset, process);
}
/* Save the initial state */
initial_snapshot = xbt_new0(s_mc_snapshot_t, 1);
MC_take_snapshot(initial_snapshot);
/* Save the initial state */
initial_snapshot = xbt_new0(s_mc_snapshot_t, 1);
MC_take_snapshot(initial_snapshot);
/* Restore the initial state */
MC_restore_snapshot(initial_snapshot);
/* Restore the initial state */
MC_restore_snapshot(initial_snapshot);
+ /* At the moment of taking the snapshot the raw heap was set, so restoring
+ * it will set it back again, we have to unset it to continue */
+ MC_UNSET_RAW_MEM;
/* Traverse the stack from the initial state and re-execute the transitions */
for (item = xbt_fifo_get_last_item(stack);
/* Traverse the stack from the initial state and re-execute the transitions */
for (item = xbt_fifo_get_last_item(stack);
/* Debug information */
if(XBT_LOG_ISENABLED(mc_global, xbt_log_priority_debug)){
req_str = MC_request_to_string(req);
/* Debug information */
if(XBT_LOG_ISENABLED(mc_global, xbt_log_priority_debug)){
req_str = MC_request_to_string(req);
- DEBUG1("Replay: %s", req_str);
+ DEBUG2("Replay: %s (%p)", req_str, state);