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 12:40:52 +0000 (13:40 +0100)
commit0049d1fcfdafba3893e26714d575755194949765
treeafe30f8b8781fbd70d78b3751e30435361a43a15
parent87116782db3154fb79cd353db446bd226cf15976
[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