Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
MC: rename process into RemoteClient
authorMartin Quinson <martin.quinson@loria.fr>
Sun, 16 Jul 2017 16:00:35 +0000 (18:00 +0200)
committerMartin Quinson <martin.quinson@loria.fr>
Sun, 16 Jul 2017 16:00:44 +0000 (18:00 +0200)
commit35d84011da1f114490d6eb4d77e214edf56c810f
tree94bf8ecf723511623140127947cc66ddfa5b9999
parentcde2aca7feb21f861c3f2da5fa5ae957ff15bb8e
MC: rename process into RemoteClient

This is a proxy to the Client (ie the MCed), as seen from the server
(ie, the MCer)
26 files changed:
src/mc/AddressSpace.hpp
src/mc/ModelChecker.cpp
src/mc/ModelChecker.hpp
src/mc/ObjectInformation.hpp
src/mc/RegionSnapshot.cpp
src/mc/Session.cpp
src/mc/VisitedState.cpp
src/mc/checker/LivenessChecker.cpp
src/mc/compare.cpp
src/mc/mc_base.cpp
src/mc/mc_checkpoint.cpp
src/mc/mc_dwarf.cpp
src/mc/mc_forward.hpp
src/mc/mc_page_snapshot.cpp
src/mc/mc_smx.cpp
src/mc/mc_smx.h
src/mc/mc_snapshot.cpp
src/mc/mc_snapshot.h
src/mc/mc_unw.cpp
src/mc/mc_unw.h
src/mc/mc_unw_vmread.cpp
src/mc/remote/RemoteClient.cpp [moved from src/mc/Process.cpp with 72% similarity]
src/mc/remote/RemoteClient.hpp [moved from src/mc/Process.hpp with 75% similarity]
teshsuite/mc/dwarf-expression/dwarf-expression.cpp
teshsuite/mc/dwarf/dwarf.cpp
tools/cmake/DefinePackages.cmake