From: Gabriel Corona <gabriel.corona@loria.fr>
Date: Tue, 29 Sep 2015 11:26:53 +0000 (+0200)
Subject: [mc] Quick hack to display system memory information (optional)
X-Git-Tag: v3_12~62^2~4
X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/da8defd4747d6b357afb7498d0c2f41a223403e8?ds=sidebyside

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

diff --git a/src/mc/mc_global.cpp b/src/mc/mc_global.cpp
index 86039ca696..d47bc012ad 100644
--- 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 (getenv("SIMGRID_MC_SYSTEM_STATISTICS"))
+    system("free");
 }
 
 void MC_automaton_load(const char *file)