Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Disable lazy relocation in the model-ched process.
authorGabriel Corona <gabriel.corona@loria.fr>
Fri, 28 Aug 2015 11:40:04 +0000 (13:40 +0200)
committerGabriel Corona <gabriel.corona@loria.fr>
Fri, 28 Aug 2015 11:45:13 +0000 (13:45 +0200)
commit6dcccaf23679103bd372210946fbd274751ecac9
tree811498c289ba35c00973bae1dca1a7ab6c59539b
parentf2465cfbb5b6da9302d8cd614613afd54eb89e32
Disable lazy relocation in the model-ched process.

We don't want the model-checked process to modify its .got.plt during
snapshot.
src/mc/simgrid_mc.cpp