Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
[mc] Cleanup/simplify liveness property automaton registration code
authorGabriel Corona <gabriel.corona@loria.fr>
Fri, 24 Jul 2015 10:55:35 +0000 (12:55 +0200)
committerGabriel Corona <gabriel.corona@loria.fr>
Fri, 24 Jul 2015 10:55:35 +0000 (12:55 +0200)
commitb5a933f5e08d4a47ab3ac8b3a7c381f53a057ddc
treefbbd5b35a82992abf1ce8d2c8a5bff715b5da071
parentab1a5770e72e90720fb1f2dc0901cda2573b208b
[mc] Cleanup/simplify liveness property automaton registration code

There were remants of the standalone mode.
src/mc/mc_global.cpp
src/mc/mc_server.cpp