Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
[mc] Move MC_replay_liveness() as a static function of mc_liveness.c
authorGabriel Corona <gabriel.corona@loria.fr>
Mon, 21 Mar 2016 16:10:03 +0000 (17:10 +0100)
committerGabriel Corona <gabriel.corona@loria.fr>
Wed, 23 Mar 2016 10:19:04 +0000 (11:19 +0100)
commitb1d63a0675cd3977c8da862007ba8461ca10db88
tree3510c01d6037add7bfb8e7d24f69fc268fe33be0
parent324f5f6d1ff9d97894561e04693fe4fb76a573d7
[mc] Move MC_replay_liveness() as a static function of mc_liveness.c
src/mc/mc_global.cpp
src/mc/mc_liveness.cpp
src/mc/mc_private.h