model-checker : order reached_pairs by number of processes and heap bytes used

[simgrid.git] / src / mc / mc_pair.c

diff --git a/src/mc/mc_pair.c b/src/mc/mc_pair.c
index 9e8ff3e..bd686f9 100644 (file)
--- a/src/mc/mc_pair.c
+++ b/src/mc/mc_pair.c
@@ -12,6 +12,7 @@ mc_pair_t MC_pair_new(mc_state_t gs, xbt_automaton_state_t as, int r){
   p->graph_state = gs;
   p->system_state = NULL;
   p->requests = r;
+  p->num = ++mc_stats->expanded_pairs;
   return p;
 }