From: Martin Quinson Date: Wed, 24 May 2017 15:15:54 +0000 (+0200) Subject: move some public MC prototypes to a public header file X-Git-Tag: v3.16~217 X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/a22eac4ecebbfe32bc971d40680651b7ab1af4d4 move some public MC prototypes to a public header file --- diff --git a/include/simgrid/modelchecker.h b/include/simgrid/modelchecker.h index 0b920bb913..7c7d09a9f8 100644 --- a/include/simgrid/modelchecker.h +++ b/include/simgrid/modelchecker.h @@ -49,6 +49,11 @@ XBT_PUBLIC(void) MC_automaton_new_propositional_symbol_pointer(const char *id, i XBT_PUBLIC(void) MC_cut(void); XBT_PUBLIC(void) MC_ignore(void *addr, size_t size); +XBT_PUBLIC(void) MC_ignore_heap(void* address, size_t size); +XBT_PUBLIC(void) MC_remove_ignore_heap(void* address, size_t size); +XBT_PUBLIC(void) MC_ignore_local_variable(const char* var_name, const char* frame); +XBT_PUBLIC(void) MC_ignore_global_variable(const char* var_name); + #else #define MC_is_active() 0 @@ -60,6 +65,11 @@ XBT_PUBLIC(void) MC_ignore(void *addr, size_t size); #define MC_cut() ((void)0) #define MC_ignore(a, b) ((void)0) +#define MC_ignore_heap(a,s) ((void)0) +#define MC_remove_ignore_heap(a,s) ((void)0) +#define MC_ignore_local_variable(n,f) ((void)0) +#define MC_ignore_global_variable(v) ((void)0) + #endif SG_END_DECL() diff --git a/src/mc/mc_ignore.h b/src/mc/mc_ignore.h index cf42fd1114..fef3326247 100644 --- a/src/mc/mc_ignore.h +++ b/src/mc/mc_ignore.h @@ -16,11 +16,6 @@ SG_BEGIN_DECL(); -XBT_PUBLIC(void) MC_ignore_heap(void *address, size_t size); -XBT_PUBLIC(void) MC_remove_ignore_heap(void *address, size_t size); -XBT_PUBLIC(void) MC_ignore_local_variable(const char *var_name, const char *frame); -XBT_PUBLIC(void) MC_ignore_global_variable(const char *var_name); - #if HAVE_UCONTEXT_H XBT_PUBLIC(void) MC_register_stack_area(void *stack, smx_actor_t process, ucontext_t* context, size_t size); #endif