From f2b1d5e068a62a9b9f94342e043fd18d8e0ecb5c Mon Sep 17 00:00:00 2001 From: Arnaud Giersch Date: Sun, 5 Mar 2023 15:32:32 +0100 Subject: [PATCH] Don't clear flops_amount on ExecImpl::reset. Fix failures where flops_amount is not defined anymore in ExecImpl::start (found by building with CXXFLAGS=-D_GLIBCXX_DEBUG) --- src/kernel/activity/ExecImpl.cpp | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/src/kernel/activity/ExecImpl.cpp b/src/kernel/activity/ExecImpl.cpp index 83e3b28128..a05e00c29c 100644 --- a/src/kernel/activity/ExecImpl.cpp +++ b/src/kernel/activity/ExecImpl.cpp @@ -71,6 +71,7 @@ ExecImpl* ExecImpl::start() set_state(State::RUNNING); if (not MC_is_active() && not MC_record_replay_is_active()) { if (get_hosts().size() == 1) { + xbt_assert(not flops_amounts_.empty(), "Cannot start Exec: no flops_amount defined."); if (thread_count_ == 1) { model_action_ = get_host()->get_cpu()->execution_start(flops_amounts_.front(), bound_); model_action_->set_sharing_penalty(sharing_penalty_); @@ -202,8 +203,6 @@ void ExecImpl::finish() void ExecImpl::reset() { clear_hosts(); - bytes_amounts_.clear(); - flops_amounts_.clear(); set_start_time(-1.0); } -- 2.20.1