#ifndef _MC_MC_H
#define _MC_MC_H
-#include <simgrid_config.h>
-#include <xbt/base.h>
-#include <xbt/misc.h>
+#include <src/internal_config.h>
#include <simgrid/simix.h>
#include <simgrid/modelchecker.h> /* our public interface (and definition of HAVE_MC) */
+#if HAVE_UCONTEXT_H
#include <ucontext.h> /* context relative declarations */
+#endif
/* Maximum size of the application heap.
*
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_safety;
extern XBT_PRIVATE int _sg_mc_liveness;
extern XBT_PRIVATE int _sg_mc_snapshot_fds;
extern XBT_PRIVATE int _sg_mc_termination;
XBT_PRIVATE void _mc_cfg_cb_termination(const char *name, int pos);
XBT_PUBLIC(void) MC_run(void);
-XBT_PUBLIC(void) MC_init(void);
-XBT_PUBLIC(void) MC_exit(void);
XBT_PUBLIC(void) MC_process_clock_add(smx_process_t, double);
XBT_PUBLIC(double) MC_process_clock_get(smx_process_t);
XBT_PRIVATE void MC_automaton_load(const char *file);
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_process_t process, ucontext_t* context, size_t size);
+#endif
/********************************* Memory *************************************/
XBT_PUBLIC(void) MC_memory_init(void); /* Initialize the memory subsystem */