Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
[mc] Fix a leak in is_reached_acceptance_pair()
authorGabriel Corona <gabriel.corona@loria.fr>
Wed, 23 Mar 2016 09:15:28 +0000 (10:15 +0100)
committerGabriel Corona <gabriel.corona@loria.fr>
Wed, 23 Mar 2016 10:19:04 +0000 (11:19 +0100)
commitae4bac84a0ffc9d9dbd588e5fb7c89c833be065a
tree5aeabc6ab6f05a979ed460595482b2de66a7ef87
parentd0e460f14e1b5d882a2928eb754f95659bb12857
[mc] Fix a leak in is_reached_acceptance_pair()
src/mc/mc_liveness.cpp