From ff971a5b9ba883f03673047d58fe1002e247727d Mon Sep 17 00:00:00 2001 From: Gabriel Corona Date: Wed, 23 Mar 2016 16:40:22 +0100 Subject: [PATCH] [mc] Move some MC_show_non_termination() in SafetyChecker.cpp --- src/mc/SafetyChecker.cpp | 10 ++++++++++ src/mc/mc_global.cpp | 9 --------- src/mc/mc_private.h | 1 - 3 files changed, 10 insertions(+), 10 deletions(-) diff --git a/src/mc/SafetyChecker.cpp b/src/mc/SafetyChecker.cpp index 3989b9272f..dfd9863f96 100644 --- a/src/mc/SafetyChecker.cpp +++ b/src/mc/SafetyChecker.cpp @@ -33,6 +33,16 @@ XBT_LOG_NEW_DEFAULT_SUBCATEGORY(mc_safety, mc, namespace simgrid { namespace mc { +static void MC_show_non_termination(void) +{ + XBT_INFO("******************************************"); + XBT_INFO("*** NON-PROGRESSIVE CYCLE DETECTED ***"); + XBT_INFO("******************************************"); + XBT_INFO("Counter-example execution trace:"); + MC_dump_stack_safety(mc_stack); + MC_print_statistics(mc_stats); +} + static int is_exploration_stack_state(mc_state_t current_state){ xbt_fifo_item_t item; diff --git a/src/mc/mc_global.cpp b/src/mc/mc_global.cpp index 4cd9edde11..24d755c076 100644 --- a/src/mc/mc_global.cpp +++ b/src/mc/mc_global.cpp @@ -247,15 +247,6 @@ void MC_show_deadlock(void) MC_print_statistics(mc_stats); } -void MC_show_non_termination(void){ - XBT_INFO("******************************************"); - XBT_INFO("*** NON-PROGRESSIVE CYCLE DETECTED ***"); - XBT_INFO("******************************************"); - XBT_INFO("Counter-example execution trace:"); - MC_dump_stack_safety(mc_stack); - MC_print_statistics(mc_stats); -} - void MC_print_statistics(mc_stats_t stats) { if(_sg_mc_comms_determinism) { diff --git a/src/mc/mc_private.h b/src/mc/mc_private.h index 57f674658a..3696409ed6 100644 --- a/src/mc/mc_private.h +++ b/src/mc/mc_private.h @@ -68,7 +68,6 @@ XBT_PRIVATE void MC_replay(xbt_fifo_t stack); XBT_PRIVATE void MC_show_deadlock(void); XBT_PRIVATE void MC_show_stack_safety(xbt_fifo_t stack); XBT_PRIVATE void MC_dump_stack_safety(xbt_fifo_t stack); -XBT_PRIVATE void MC_show_non_termination(void); /** Stack (of `mc_state_t`) representing the current position of the * the MC in the exploration graph -- 2.20.1