X-Git-Url: http://bilbo.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/84402e8e2ee2a2d0bef25fdceb0a263ed8b471f6..7751cd1e3ffe8bd90fe745a165db3a5aae429a4b:/src/mc/mc_record.cpp diff --git a/src/mc/mc_record.cpp b/src/mc/mc_record.cpp index bdd03aaa25..bfd548239d 100644 --- a/src/mc/mc_record.cpp +++ b/src/mc/mc_record.cpp @@ -34,7 +34,7 @@ void replay(RecordTrace const& trace) smx_actor_t process = SIMIX_process_from_PID(transition.pid_); if (not process) xbt_die("Unexpected process (pid:%d).", transition.pid_); - const s_smx_simcall* simcall = &(process->simcall); + const s_smx_simcall* simcall = &(process->simcall_); if (simcall == nullptr || simcall->call_ == SIMCALL_NONE) xbt_die("No simcall for process %d.", transition.pid_); if (not simgrid::mc::request_is_visible(simcall) || not simgrid::mc::actor_is_enabled(process)) @@ -63,9 +63,9 @@ RecordTrace parseRecordTrace(const char* data) const char* current = data; while (*current) { - simgrid::mc::Transition item; int count = sscanf(current, "%d/%d", &item.pid_, &item.argument_); + if(count != 2 && count != 1) throw std::invalid_argument("Could not parse record path"); res.push_back(item);