From: Marion Guthmuller <marion.guthmuller@loria.fr>
Date: Thu, 18 Oct 2012 19:22:20 +0000 (+0200)
Subject: model-checker : change MC_take_snapshot_liveness declaration (snapshot returned inste... 
X-Git-Tag: v3_9_rc1~91^2~179
X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/0caa7c0ef3bfec3dc4b7dfb265c5570f46346782?hp=0caa7c0ef3bfec3dc4b7dfb265c5570f46346782

model-checker : change MC_take_snapshot_liveness declaration (snapshot returned instead of in parameters) and check heap used
---