Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Revert "[mc] Fix loop bound checking using heaplimit"
authorGabriel Corona <gabriel.corona@loria.fr>
Thu, 11 Feb 2016 12:21:11 +0000 (13:21 +0100)
committerGabriel Corona <gabriel.corona@loria.fr>
Thu, 11 Feb 2016 16:15:49 +0000 (17:15 +0100)
commit764d7971b97ce839afe7527559f33d68d3262d88
treecb205301c8604cc35c3c48db0ddc8e85cde82d30
parent8cb6506f65799af09c57dfea8dd68d0ee40d4507
Revert "[mc] Fix loop bound checking using heaplimit"

This reverts commit 15d7df6ae57645a0b6f3c0fb07eff36a14da555b.

The fix seems commit but currently breaks test test. I'll bring it
back while the MC is stable.
src/mc/mc_diff.cpp
src/xbt/mmalloc/mm_module.c