From: Marion Guthmuller <marion.guthmuller@loria.fr>
Date: Wed, 30 Nov 2011 08:39:22 +0000 (+0100)
Subject: model-checker : remove stack from regions added in snapshot
X-Git-Tag: exp_20120216~133^2~31
X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/4157c72635c16fa9a690366d1c262cbfe222ddd2?hp=4157c72635c16fa9a690366d1c262cbfe222ddd2

model-checker : remove stack from regions added in snapshot
---