Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
cleanups in the MC protocol
authorMartin Quinson <martin.quinson@loria.fr>
Sun, 16 Jul 2017 14:10:07 +0000 (16:10 +0200)
committerMartin Quinson <martin.quinson@loria.fr>
Sun, 16 Jul 2017 15:21:28 +0000 (17:21 +0200)
commitcde2aca7feb21f861c3f2da5fa5ae957ff15bb8e
treeca035cf99c3a2f1b6ebca1023417a8944ff6b84b
parent72723ea8d7fa1a09ed87e2c2f84e6467519a4354
cleanups in the MC protocol
src/mc/ModelChecker.cpp
src/mc/mc_checkpoint.cpp
src/mc/remote/Client.cpp
src/mc/remote/Client.hpp
src/mc/remote/mc_protocol.h