From 3a14b47d1258a7138c8482306b5b82c0b27e4fb3 Mon Sep 17 00:00:00 2001 From: Gabriel Corona Date: Wed, 6 Apr 2016 10:05:05 +0200 Subject: [PATCH] [mc] Remove always disabled code --- src/mc/CommunicationDeterminismChecker.cpp | 4 ---- 1 file changed, 4 deletions(-) diff --git a/src/mc/CommunicationDeterminismChecker.cpp b/src/mc/CommunicationDeterminismChecker.cpp index da1b86e001..49cf555dae 100644 --- a/src/mc/CommunicationDeterminismChecker.cpp +++ b/src/mc/CommunicationDeterminismChecker.cpp @@ -520,10 +520,6 @@ int CommunicationDeterminismChecker::run() XBT_INFO("Check communication determinism"); mc_model_checker->wait_for_requests(); - if (mc_mode == MC_MODE_CLIENT) - // This will move somehwere else: - simgrid::mc::Client::get()->handleMessages(); - this->prepare(); initial_global_state = std::unique_ptr(new s_mc_global_t()); -- 2.20.1