From: Gabriel Corona <gabriel.corona@loria.fr>
Date: Fri, 16 May 2014 08:54:08 +0000 (+0200)
Subject: [mc] Move mm_diff in mc/
X-Git-Tag: v3_12~956^2~28
X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/f2cbaba0e3a91df130cbd574e4c052665f116116?hp=f2cbaba0e3a91df130cbd574e4c052665f116116

[mc] Move mm_diff in mc/

mm_diff relies heavily on MC and is not relevant in the xbt/mmalloc
layer anymore. Moreover we probably want to merge it with mc_compare.
---