From 14226aa8e149636047c44fb76c20163989594cb1 Mon Sep 17 00:00:00 2001 From: Marion Guthmuller Date: Thu, 12 Jan 2012 09:50:44 +0100 Subject: [PATCH] model-checker : prototypes of static functions moved --- src/include/mc/mc.h | 2 -- src/mc/mc_global.c | 4 ++++ 2 files changed, 4 insertions(+), 2 deletions(-) diff --git a/src/include/mc/mc.h b/src/include/mc/mc.h index abe55fac58..2e9fc0f767 100644 --- a/src/include/mc/mc.h +++ b/src/include/mc/mc.h @@ -28,12 +28,10 @@ SG_BEGIN_DECL() /********************************* Global *************************************/ XBT_PUBLIC(void) MC_init_safety_stateless(void); XBT_PUBLIC(void) MC_init_safety_stateful(void); -XBT_PUBLIC(void) MC_init_liveness(xbt_automaton_t a, char *prgm); XBT_PUBLIC(void) MC_exit(void); XBT_PUBLIC(void) MC_exit_liveness(void); XBT_PUBLIC(void) MC_assert(int); XBT_PUBLIC(void) MC_assert_stateful(int); -XBT_PUBLIC(void) MC_assert_pair(int); XBT_PUBLIC(void) MC_modelcheck(void); XBT_PUBLIC(void) MC_modelcheck_stateful(void); XBT_PUBLIC(void) MC_modelcheck_liveness(xbt_automaton_t a, char *prgm); diff --git a/src/mc/mc_global.c b/src/mc/mc_global.c index 89ac9b98e0..a1953a4c6d 100644 --- a/src/mc/mc_global.c +++ b/src/mc/mc_global.c @@ -34,6 +34,10 @@ mc_snapshot_t initial_snapshot_liveness = NULL; xbt_automaton_t automaton; char *prog_name; +static void MC_init_liveness(xbt_automaton_t a, char *prgm); +static void MC_assert_pair(int prop); + + /** * \brief Initialize the model-checker data structures */ -- 2.20.1