Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
[mc] Fix privatisation support
authorGabriel Corona <gabriel.corona@loria.fr>
Tue, 10 Nov 2015 11:03:36 +0000 (12:03 +0100)
committerGabriel Corona <gabriel.corona@loria.fr>
Tue, 10 Nov 2015 13:17:44 +0000 (14:17 +0100)
commit0ab8ced3df24230adfeaec1e79d49db3a4f5d632
tree4da46103b09c75bbcb0a1d3288ea10c09c923568
parent009559ea73ca3e91b75aaf855249ed2f0ca6b122
[mc] Fix privatisation support

It was broken (TODO) since the switch to split-process MC.
src/mc/ModelChecker.cpp
src/mc/ObjectInformation.hpp
src/mc/Process.cpp
src/mc/Process.hpp
src/mc/mc_checkpoint.cpp
src/mc/mc_client.cpp
src/mc/mc_protocol.cpp
src/mc/mc_protocol.h