From 7cbb44e02a4c28ea278e9b82c9dda3bdff2c3cb9 Mon Sep 17 00:00:00 2001 From: Martin Quinson Date: Wed, 24 Jul 2019 23:50:55 +0200 Subject: [PATCH] cosmetic to make the code easier to read --- include/simgrid/modelchecker.h | 2 +- src/simix/smx_global.cpp | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/include/simgrid/modelchecker.h b/include/simgrid/modelchecker.h index 8dddeaef02..2ddf8a9165 100644 --- a/include/simgrid/modelchecker.h +++ b/include/simgrid/modelchecker.h @@ -31,7 +31,7 @@ XBT_PUBLIC int MC_random(int min, int max); extern XBT_PUBLIC int _sg_do_model_check; extern XBT_PUBLIC int _sg_mc_max_visited_states; -#define MC_is_active() _sg_do_model_check +#define MC_is_active() _sg_do_model_check #define MC_visited_reduction() _sg_mc_max_visited_states /** Assertion for the model-checker diff --git a/src/simix/smx_global.cpp b/src/simix/smx_global.cpp index 007bb0aebb..9510c955fd 100644 --- a/src/simix/smx_global.cpp +++ b/src/simix/smx_global.cpp @@ -376,7 +376,7 @@ static bool SIMIX_execute_timers() */ void SIMIX_run() { - if (not MC_record_path.empty()) { + if (MC_record_replay_is_active()) { simgrid::mc::replay(MC_record_path); return; } -- 2.20.1