memory_map_t get_memory_map(void);
void free_memory_map(memory_map_t map);
-void get_plt_section(void);
+void get_libsimgrid_plt_section(void);
+void get_binary_plt_section(void);
extern void *start_data_libsimgrid;
extern mc_snapshot_t initial_snapshot_liveness;
extern xbt_automaton_t _mc_property_automaton;
extern int compare;
-extern void *start_plt;
-extern void *end_plt;
+extern void *start_plt_libsimgrid;
+extern void *end_plt_libsimgrid;
+extern void *start_plt_binary;
+extern void *end_plt_binary;
typedef struct s_mc_pair{
mc_snapshot_t system_state;