Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
MC: various cleanups done while debugging something
authorMartin Quinson <martin.quinson@ens-rennes.fr>
Tue, 21 Jan 2020 14:48:30 +0000 (15:48 +0100)
committerMartin Quinson <martin.quinson@ens-rennes.fr>
Wed, 29 Jan 2020 16:16:47 +0000 (17:16 +0100)
commit61dfc53a25f7b7e63a1e13fe7126f3cf735d5e52
tree1c9ed2c42743a9d052f1885a87d753ae41eb9fad
parent68a8e086897aa89695f84e8a26fde89a9c8b3617
MC: various cleanups done while debugging something
src/mc/Session.cpp
src/mc/checker/CommunicationDeterminismChecker.cpp
src/mc/checker/simgrid_mc.cpp
src/mc/remote/RemoteClient.cpp