Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
[mc] Move model-checker message processing logic in its own method
authorGabriel Corona <gabriel.corona@loria.fr>
Mon, 9 Nov 2015 13:54:01 +0000 (14:54 +0100)
committerGabriel Corona <gabriel.corona@loria.fr>
Mon, 9 Nov 2015 13:54:01 +0000 (14:54 +0100)
commit285ff67ae5a80f4e452685a47c64faf387e67ee1
treecc59ae8acbe4591e604be7b7a104673fe9c741a7
parent4f0921c868b916da79370ef6ba03d368be06a6e3
[mc] Move model-checker message processing logic in its own method
src/mc/mc_server.cpp
src/mc/mc_server.h