- xbt_dynar_t prop_ato;
- mc_snapshot_t system_state;
- size_t heap_bytes_used;
- int nb_processes;
-}s_mc_acceptance_pair_t, *mc_acceptance_pair_t;
-
-typedef struct s_mc_visited_pair{
- xbt_automaton_state_t automaton_state;
- xbt_dynar_t prop_ato;
- mc_snapshot_t system_state;
- int num;