X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/b41c921fc0a6a13f5db4d6cefb9b6955d5f21e3b..b5aa376000b34d535f13674f807370d4c96a4441:/src/mc/mc_record.cpp diff --git a/src/mc/mc_record.cpp b/src/mc/mc_record.cpp index 4c7f441c1c..78e34fee4a 100644 --- a/src/mc/mc_record.cpp +++ b/src/mc/mc_record.cpp @@ -1,4 +1,4 @@ -/* Copyright (c) 2014-2019. The SimGrid Team. All rights reserved. */ +/* Copyright (c) 2014-2020. The SimGrid Team. All rights reserved. */ /* This program is free software; you can redistribute it and/or modify it * under the terms of the license (GNU LGPL) which comes with this package. */ @@ -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_); - smx_simcall_t 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);