Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Bugfix: correctly set/unset the raw memory when taking/restoring snapshots
authorcristianrosa <cristianrosa@48e7efb5-ca39-0410-a469-dd3cf9ba447f>
Thu, 16 Dec 2010 16:16:09 +0000 (16:16 +0000)
committercristianrosa <cristianrosa@48e7efb5-ca39-0410-a469-dd3cf9ba447f>
Thu, 16 Dec 2010 16:16:09 +0000 (16:16 +0000)
commitefbda81c4d794ef571a347d2f9e1fc22529929f8
treea459aaeca0c0daa3da5bc15877f0a689fbbcbac9
parent5d5698d760a6281f43eb050faef59082563ea233
Bugfix: correctly set/unset the raw memory when taking/restoring snapshots

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@9275 48e7efb5-ca39-0410-a469-dd3cf9ba447f
src/mc/mc_global.c