src/mc/remote/Channel.hpp
src/mc/remote/CheckerSide.cpp
src/mc/remote/CheckerSide.hpp
- src/mc/remote/RemoteClientMemory.hpp
- src/mc/remote/RemoteClientMemory.cpp
+ src/mc/remote/RemoteSimulation.hpp
+ src/mc/remote/RemoteSimulation.cpp
src/mc/remote/RemotePtr.hpp
src/mc/remote/mc_protocol.h
src/mc/remote/mc_protocol.cpp