Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : disable mprotect on snapshots
authorMarion Guthmuller <marion.guthmuller@inria.fr>
Wed, 30 Apr 2014 13:31:56 +0000 (15:31 +0200)
committerMarion Guthmuller <marion.guthmuller@inria.fr>
Wed, 30 Apr 2014 13:31:56 +0000 (15:31 +0200)
commit72680ab46a46b8f1ae2dbfb56581968206f4e3b1
tree57b508175edb8ba5db7a5ef4919a6052b1174b61
parentb1df3ce1e2ed15aebae0f2671f3d0b6ac6796ef9
model-checker : disable mprotect on snapshots
src/mc/mc_checkpoint.c