include examples/c/plugin-host-load/plugin-host-load.tesh
include examples/c/synchro-semaphore/synchro-semaphore.c
include examples/c/synchro-semaphore/synchro-semaphore.tesh
+include examples/cpp/activity-testany/s4u-activity-testany.cpp
+include examples/cpp/activity-testany/s4u-activity-testany.tesh
+include examples/cpp/activity-waitany/s4u-activity-waitany.cpp
+include examples/cpp/activity-waitany/s4u-activity-waitany.tesh
include examples/cpp/actor-create/s4u-actor-create.cpp
include examples/cpp/actor-create/s4u-actor-create.tesh
include examples/cpp/actor-create/s4u-actor-create_d.xml
include examples/python/io-degradation/io-degradation.tesh
include examples/python/network-nonlinear/network-nonlinear.py
include examples/python/network-nonlinear/network-nonlinear.tesh
+include examples/python/platform-failures/platform-failures.py
+include examples/python/platform-failures/platform-failures.tesh
+include examples/python/platform-profile/platform-profile.py
+include examples/python/platform-profile/platform-profile.tesh
include examples/smpi/NAS/DGraph.c
include examples/smpi/NAS/DGraph.h
include examples/smpi/NAS/README.install
include examples/smpi/trace_call_location/trace_call_location.tesh
include examples/smpi/trace_simple/trace_simple.c
include examples/smpi/trace_simple/trace_simple.tesh
+include src/include/catch_simgrid.hpp
include teshsuite/java/semaphoregc/SemaphoreGC.java
include teshsuite/java/semaphoregc/semaphoregc.tesh
include teshsuite/java/sleephostoff/SleepHostOff.java
include teshsuite/python/corrupt-stack/corrupt-stack_d.xml
include teshsuite/python/platform-mix/platform-mix.py
include teshsuite/python/platform-mix/platform-mix.tesh
-include teshsuite/s4u/activity-lifecycle/activity-lifecycle.cpp
-include teshsuite/s4u/activity-lifecycle/activity-lifecycle.hpp
+include teshsuite/s4u/../catch_simgrid.cpp
include teshsuite/s4u/activity-lifecycle/activity-lifecycle.tesh
include teshsuite/s4u/activity-lifecycle/testing_comm.cpp
include teshsuite/s4u/activity-lifecycle/testing_comm_direct.cpp
include docs/source/tuto_network_calibration/fig/pingpong_simgrid.png
include docs/source/tuto_network_calibration/isend_ckmeans.json
include docs/source/tuto_network_calibration/isend_dhist.json
-include docs/source/tuto_network_calibration/network_calibration_tutorial.ipynb
include docs/source/tuto_network_calibration/network_calibration_tutorial.rst
include docs/source/tuto_network_calibration/pingpong_ckmeans.json
include docs/source/tuto_network_calibration/pingpong_dhist.json
include examples/python/actor-create/actor-create_d.xml
include examples/python/actor-lifetime/actor-lifetime_d.xml
include examples/python/app-masterworkers/app-masterworkers_d.xml
+include examples/python/platform-failures/platform-failures_d.xml
include examples/smpi/CMakeLists.txt
include examples/smpi/NAS/CMakeLists.txt
include examples/smpi/comm_dynamic_costs/CMakeLists.txt
include src/mc/ModelChecker.hpp
include src/mc/Session.cpp
include src/mc/Session.hpp
-include src/mc/Transition.hpp
include src/mc/VisitedState.cpp
include src/mc/VisitedState.hpp
include src/mc/api.cpp
include src/mc/api.hpp
+include src/mc/api/State.cpp
+include src/mc/api/State.hpp
+include src/mc/api/Transition.cpp
+include src/mc/api/Transition.hpp
+include src/mc/api/TransitionComm.cpp
+include src/mc/api/TransitionComm.hpp
include src/mc/checker/Checker.hpp
include src/mc/checker/CommunicationDeterminismChecker.cpp
include src/mc/checker/CommunicationDeterminismChecker.hpp
include src/mc/mc_replay.hpp
include src/mc/mc_safety.hpp
include src/mc/mc_smx.cpp
-include src/mc/mc_state.cpp
-include src/mc/mc_state.hpp
include src/mc/remote/AppSide.cpp
include src/mc/remote/AppSide.hpp
include src/mc/remote/Channel.cpp