model-checker : store heap_bytes_used and number of processes directly in mc_visited_...

[simgrid.git] / src / mc / mc_private.h

diff --git a/src/mc/mc_private.h b/src/mc/mc_private.h
index 6a46fd6..15deac2 100644 (file)
--- a/src/mc/mc_private.h
+++ b/src/mc/mc_private.h
@@ -265,6 +265,8 @@ void MC_dpor(void);
 
 typedef struct s_mc_visited_state{
   mc_snapshot_t system_state;
 
 typedef struct s_mc_visited_state{
   mc_snapshot_t system_state;

+  size_t heap_bytes_used;
+  int nb_processes;

   int num;
 }s_mc_visited_state_t, *mc_visited_state_t;
 
   int num;
 }s_mc_visited_state_t, *mc_visited_state_t;
 


@@ -297,6 +299,8 @@ typedef struct s_mc_visited_pair{
   xbt_dynar_t prop_ato;
   mc_snapshot_t system_state;
   int num;
   xbt_dynar_t prop_ato;
   mc_snapshot_t system_state;
   int num;

+  size_t heap_bytes_used;
+  int nb_processes;

 }s_mc_visited_pair_t, *mc_visited_pair_t;
 
 mc_pair_t MC_pair_new(mc_state_t sg, xbt_automaton_state_t st, int r);
 }s_mc_visited_pair_t, *mc_visited_pair_t;
 
 mc_pair_t MC_pair_new(mc_state_t sg, xbt_automaton_state_t st, int r);