src/surf/storage_n11.hpp
src/surf/surf_interface.hpp
src/surf/surf_private.h
- src/surf/surf_routing.hpp
src/surf/PropertyHolder.hpp
src/surf/host_clm03.hpp
src/surf/HostImpl.hpp
src/simix/smx_network.cpp
src/simix/ActorImpl.cpp
src/simix/smx_synchro.cpp
- src/simix/smx_vm.cpp
src/simix/popping.cpp
src/kernel/activity/ActivityImpl.cpp
src/kernel/activity/SynchroComm.cpp
)
set(MC_SRC
- src/mc/RemotePtr.hpp
+ src/mc/checker/Checker.cpp
+ src/mc/checker/Checker.hpp
+ src/mc/checker/CommunicationDeterminismChecker.cpp
+ src/mc/checker/CommunicationDeterminismChecker.hpp
+ src/mc/checker/SafetyChecker.cpp
+ src/mc/checker/SafetyChecker.hpp
+ src/mc/checker/LivenessChecker.cpp
+ src/mc/checker/LivenessChecker.hpp
+ src/mc/remote/Channel.cpp
+ src/mc/remote/Channel.hpp
+ src/mc/remote/Client.cpp
+ src/mc/remote/Client.hpp
+ src/mc/remote/RemotePtr.hpp
+ src/mc/remote/mc_protocol.h
+ src/mc/remote/mc_protocol.cpp
+
src/mc/AddressSpace.hpp
src/mc/AddressSpace.cpp
- src/mc/Channel.cpp
- src/mc/Channel.hpp
- src/mc/Checker.cpp
- src/mc/Checker.hpp
- src/mc/Client.cpp
- src/mc/Client.hpp
- src/mc/CommunicationDeterminismChecker.cpp
- src/mc/CommunicationDeterminismChecker.hpp
src/mc/Frame.hpp
src/mc/Frame.cpp
src/mc/ModelChecker.hpp
src/mc/ObjectInformation.cpp
src/mc/PageStore.hpp
src/mc/PageStore.cpp
- src/mc/SafetyChecker.cpp
- src/mc/SafetyChecker.hpp
src/mc/ChunkedData.hpp
src/mc/ChunkedData.cpp
src/mc/RegionSnapshot.cpp
src/mc/mc_hash.cpp
src/mc/mc_ignore.h
src/mc/mc_mmalloc.h
- src/mc/LivenessChecker.hpp
src/mc/LocationList.hpp
src/mc/LocationList.cpp
- src/mc/LivenessChecker.cpp
src/mc/mc_record.cpp
src/mc/mc_member.cpp
src/mc/mc_memory.cpp
src/mc/VisitedState.cpp
src/mc/VisitedState.hpp
src/mc/mc_client_api.cpp
- src/mc/mc_protocol.h
- src/mc/mc_protocol.cpp
src/mc/mc_smx.h
src/mc/mc_smx.cpp
src/mc/mc_xbt.hpp
src/mc/Transition.hpp
)
-set(MC_SIMGRID_MC_SRC src/mc/simgrid_mc.cpp)
+set(MC_SIMGRID_MC_SRC src/mc/checker/simgrid_mc.cpp)
set(headers_to_install
include/msg/msg.h