Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
[mc] Remove the _sg_mc_liveness flag
authorGabriel Corona <gabriel.corona@loria.fr>
Wed, 30 Mar 2016 12:11:19 +0000 (14:11 +0200)
committerGabriel Corona <gabriel.corona@loria.fr>
Wed, 30 Mar 2016 12:14:39 +0000 (14:14 +0200)
commit22a84b6ede7480ce44ce3bd0ecb34165a49d2db3
tree39935bcb31bd49b21c586fcf18f1f299d72209dc
parent458eaa0a6abd3e3fc601cbb8146049112aeb4011
[mc] Remove the _sg_mc_liveness flag

It was not used anymore.
src/include/mc/mc.h
src/mc/LivenessChecker.cpp
src/mc/mc_config.cpp