include examples/cpp/exec-dependent/s4u-exec-dependent.tesh
include examples/cpp/exec-dvfs/s4u-exec-dvfs.cpp
include examples/cpp/exec-dvfs/s4u-exec-dvfs.tesh
+include examples/cpp/exec-ptask-multicore/s4u-exec-ptask-multicore.cpp
+include examples/cpp/exec-ptask-multicore/s4u-exec-ptask-multicore.tesh
include examples/cpp/exec-ptask/s4u-exec-ptask.cpp
include examples/cpp/exec-ptask/s4u-exec-ptask.tesh
include examples/cpp/exec-remote/s4u-exec-remote.cpp
include teshsuite/smpi/coll-allgather/coll-allgather.tesh
include teshsuite/smpi/coll-allgatherv/coll-allgatherv.c
include teshsuite/smpi/coll-allgatherv/coll-allgatherv.tesh
+include teshsuite/smpi/coll-allreduce-with-leaks/coll-allreduce-with-leaks.c
+include teshsuite/smpi/coll-allreduce-with-leaks/coll-allreduce-with-leaks.tesh
+include teshsuite/smpi/coll-allreduce-with-leaks/mc-coll-allreduce-with-leaks.tesh
include teshsuite/smpi/coll-allreduce/coll-allreduce-automatic.tesh
include teshsuite/smpi/coll-allreduce/coll-allreduce-large.tesh
include teshsuite/smpi/coll-allreduce/coll-allreduce-papi.tesh
include src/mc/mc_record.cpp
include src/mc/mc_record.hpp
include src/mc/mc_replay.hpp
-include src/mc/mc_request.cpp
-include src/mc/mc_request.hpp
include src/mc/mc_safety.hpp
include src/mc/mc_smx.cpp
include src/mc/mc_state.cpp
include src/mc/remote/Channel.hpp
include src/mc/remote/CheckerSide.cpp
include src/mc/remote/CheckerSide.hpp
+include src/mc/remote/RemoteProcess.cpp
+include src/mc/remote/RemoteProcess.hpp
include src/mc/remote/RemotePtr.hpp
-include src/mc/remote/RemoteSimulation.cpp
-include src/mc/remote/RemoteSimulation.hpp
include src/mc/remote/mc_protocol.h
include src/mc/sosp/ChunkedData.cpp
include src/mc/sosp/ChunkedData.hpp