From 30aafed5b1b68a0248307e0f2161d7d838e562e3 Mon Sep 17 00:00:00 2001 From: Gabriel Corona Date: Thu, 14 Apr 2016 16:09:40 +0200 Subject: [PATCH] [mc] Fix this != nullptr remaining from previous refactoring --- src/mc/CommunicationDeterminismChecker.cpp | 6 ++---- 1 file changed, 2 insertions(+), 4 deletions(-) diff --git a/src/mc/CommunicationDeterminismChecker.cpp b/src/mc/CommunicationDeterminismChecker.cpp index 0288cfda09..e183c7d07c 100644 --- a/src/mc/CommunicationDeterminismChecker.cpp +++ b/src/mc/CommunicationDeterminismChecker.cpp @@ -345,10 +345,8 @@ void CommunicationDeterminismChecker::logState() // override XBT_INFO("Expanded states = %lu", expandedStatesCount_); XBT_INFO("Visited states = %lu", mc_model_checker->visited_states); XBT_INFO("Executed transitions = %lu", mc_model_checker->executed_transitions); - if (this != nullptr) - XBT_INFO("Send-deterministic : %s", - !this->send_deterministic ? "No" : "Yes"); - if (this != nullptr && _sg_mc_comms_determinism) + XBT_INFO("Send-deterministic : %s", !this->send_deterministic ? "No" : "Yes"); + if (_sg_mc_comms_determinism) XBT_INFO("Recv-deterministic : %s", !this->recv_deterministic ? "No" : "Yes"); } -- 2.20.1