void *stack_pointer;
}s_mc_snapshot_stack_t, *mc_snapshot_stack_t;
+typedef struct s_mc_global_t{
+ mc_snapshot_t initial_snapshot;
+}s_mc_global_t, *mc_global_t;
+
void MC_take_snapshot(mc_snapshot_t);
mc_snapshot_t MC_take_snapshot_liveness(void);
void MC_restore_snapshot(mc_snapshot_t);
/********************************** Double-DFS for liveness property**************************************/
extern xbt_fifo_t mc_stack_liveness;
-extern mc_snapshot_t initial_snapshot_liveness;
+extern mc_global_t initial_state_liveness;
extern xbt_automaton_t _mc_property_automaton;
extern int compare;
extern void *start_plt_libsimgrid;
extern void *end_plt_libsimgrid;
extern void *start_plt_binary;
extern void *end_plt_binary;
+extern xbt_dynar_t mc_stack_comparison_ignore;
+extern void *start_bss_libsimgrid;
typedef struct s_mc_pair{
mc_snapshot_t system_state;
extern int _surf_mc_checkpoint;
extern char* _surf_mc_property_file;
+extern int _surf_mc_timeout;
/****** Core dump ******/