[mc] Quick hack to display system memory information (optional)

diff --git a/src/mc/mc_global.cpp b/src/mc/mc_global.cpp
index 86039ca..d47bc01 100644 (file)
--- a/src/mc/mc_global.cpp
+++ b/src/mc/mc_global.cpp
@@ -507,6 +507,8 @@ void MC_print_statistics(mc_stats_t stats)
     if (_sg_mc_comms_determinism)
       XBT_INFO("Recv-deterministic : %s", !initial_global_state->recv_deterministic ? "No" : "Yes");
   }
     if (_sg_mc_comms_determinism)
       XBT_INFO("Recv-deterministic : %s", !initial_global_state->recv_deterministic ? "No" : "Yes");
   }

+  if (getenv("SIMGRID_MC_SYSTEM_STATISTICS"))
+    system("free");

 }
 
 void MC_automaton_load(const char *file)
 }
 
 void MC_automaton_load(const char *file)