From 22a84b6ede7480ce44ce3bd0ecb34165a49d2db3 Mon Sep 17 00:00:00 2001 From: Gabriel Corona Date: Wed, 30 Mar 2016 14:11:19 +0200 Subject: [PATCH] [mc] Remove the _sg_mc_liveness flag It was not used anymore. --- src/include/mc/mc.h | 1 - src/mc/LivenessChecker.cpp | 2 +- src/mc/mc_config.cpp | 1 - 3 files changed, 1 insertion(+), 3 deletions(-) diff --git a/src/include/mc/mc.h b/src/include/mc/mc.h index 0a4a33a33d..8fbad5cb21 100644 --- a/src/include/mc/mc.h +++ b/src/include/mc/mc.h @@ -44,7 +44,6 @@ extern XBT_PUBLIC(int) _sg_mc_visited; extern XBT_PRIVATE char* _sg_mc_dot_output_file; extern XBT_PUBLIC(int) _sg_mc_comms_determinism; extern XBT_PUBLIC(int) _sg_mc_send_determinism; -extern XBT_PRIVATE int _sg_mc_liveness; extern XBT_PRIVATE int _sg_mc_snapshot_fds; extern XBT_PRIVATE int _sg_mc_termination; diff --git a/src/mc/LivenessChecker.cpp b/src/mc/LivenessChecker.cpp index 70f7d6612e..a42f5c4524 100644 --- a/src/mc/LivenessChecker.cpp +++ b/src/mc/LivenessChecker.cpp @@ -534,7 +534,7 @@ int LivenessChecker::run() mc_model_checker->wait_for_requests(); XBT_DEBUG("Starting the liveness algorithm"); - _sg_mc_liveness = 1; + /* Create the initial state */ simgrid::mc::initial_global_state = std::unique_ptr(new s_mc_global_t()); diff --git a/src/mc/mc_config.cpp b/src/mc/mc_config.cpp index eadc3704cc..09f8ec3670 100644 --- a/src/mc/mc_config.cpp +++ b/src/mc/mc_config.cpp @@ -61,7 +61,6 @@ int _sg_mc_visited = 0; char *_sg_mc_dot_output_file = nullptr; int _sg_mc_comms_determinism = 0; int _sg_mc_send_determinism = 0; -int _sg_mc_liveness = 0; int _sg_mc_snapshot_fds = 0; int _sg_mc_termination = 0; -- 2.20.1