include examples/cpp/mc-bugged1-liveness/s4u-mc-bugged1-liveness.tesh
include examples/cpp/mc-bugged1/s4u-mc-bugged1.cpp
include examples/cpp/mc-bugged1/s4u-mc-bugged1.tesh
+include examples/cpp/mc-bugged2-liveness/promela_bugged2_liveness
+include examples/cpp/mc-bugged2-liveness/s4u-mc-bugged2-liveness.cpp
+include examples/cpp/mc-bugged2-liveness/s4u-mc-bugged2-liveness.tesh
include examples/cpp/mc-bugged2/s4u-mc-bugged2.cpp
include examples/cpp/mc-bugged2/s4u-mc-bugged2.tesh
+include examples/cpp/mc-centralized-mutex/s4u-mc-centralized-mutex.cpp
+include examples/cpp/mc-centralized-mutex/s4u-mc-centralized-mutex.tesh
include examples/cpp/mc-electric-fence/s4u-mc-electric-fence.cpp
include examples/cpp/mc-electric-fence/s4u-mc-electric-fence.tesh
include examples/cpp/mc-failing-assert/s4u-mc-failing-assert.cpp
include examples/deprecated/java/trace/pingpong/Receiver.java
include examples/deprecated/java/trace/pingpong/Sender.java
include examples/deprecated/java/trace/pingpong/trace-pingpong.tesh
-include examples/deprecated/msg/mc/bugged2-liveness.tesh
-include examples/deprecated/msg/mc/bugged2_liveness.c
-include examples/deprecated/msg/mc/centralized_mutex.c
-include examples/deprecated/msg/mc/centralized_mutex.tesh
-include examples/deprecated/msg/mc/deploy_bugged2_liveness.xml
-include examples/deprecated/msg/mc/deploy_centralized_mutex.xml
-include examples/deprecated/msg/mc/promela_bugged2_liveness
include examples/python/actor-create/actor-create.py
include examples/python/actor-create/actor-create.tesh
include examples/python/actor-daemon/actor-daemon.py
include teshsuite/models/wifi_usage_decay/wifi_usage_decay.tesh
include teshsuite/msg/task_destroy_cancel/task_destroy_cancel.c
include teshsuite/msg/task_destroy_cancel/task_destroy_cancel.tesh
+include teshsuite/platforms/Dijkstra.xml
+include teshsuite/platforms/bob.trace
+include teshsuite/platforms/bogus_missing_dst_gateway.xml
+include teshsuite/platforms/bogus_missing_gateway.tesh
+include teshsuite/platforms/bogus_missing_src_gateway.xml
+include teshsuite/platforms/bogus_two_hosts_asymetric.tesh
+include teshsuite/platforms/bogus_two_hosts_asymetric.xml
+include teshsuite/platforms/carol.fail
+include teshsuite/platforms/cluster_dragonfly_noncontiguous_rad.xml
+include teshsuite/platforms/cluster_fat_tree_noncontiguous_rad.xml
+include teshsuite/platforms/cluster_torus_noncontiguous_rad.xml
+include teshsuite/platforms/erin.avail
+include teshsuite/platforms/flatifier.cpp
+include teshsuite/platforms/flatifier.tesh
+include teshsuite/platforms/four_hosts_floyd.xml
+include teshsuite/platforms/host_attributes.xml
+include teshsuite/platforms/link.bw
+include teshsuite/platforms/link.fail
+include teshsuite/platforms/link.lat
+include teshsuite/platforms/link_attributes.xml
+include teshsuite/platforms/one_cluster.xml
+include teshsuite/platforms/one_cluster_multicore.xml
+include teshsuite/platforms/one_cluster_router_id.xml
+include teshsuite/platforms/one_cluster_splitduplex.xml
+include teshsuite/platforms/properties.xml
+include teshsuite/platforms/test_of_is_router.xml
+include teshsuite/platforms/three_hosts_non_symmetric_route.xml
+include teshsuite/platforms/two_clusters.xml
+include teshsuite/platforms/two_clusters_one_name.xml
+include teshsuite/platforms/two_clusters_router_id.xml
+include teshsuite/platforms/two_hosts_multi_hop.xml
+include teshsuite/platforms/two_hosts_one_link.xml
+include teshsuite/platforms/two_hosts_one_link_splitduplex.xml
include teshsuite/python/borken-context/borken-context.py
include teshsuite/python/borken-context/borken-context.tesh
include teshsuite/python/borken-context/borken-context_d.xml
include teshsuite/s4u/wait-all-for/wait-all-for.tesh
include teshsuite/s4u/wait-any-for/wait-any-for.cpp
include teshsuite/s4u/wait-any-for/wait-any-for.tesh
-include teshsuite/simdag/flatifier/bogus_missing_gateway.tesh
-include teshsuite/simdag/flatifier/bogus_two_hosts_asymetric.tesh
-include teshsuite/simdag/flatifier/flatifier.cpp
-include teshsuite/simdag/flatifier/flatifier.tesh
-include teshsuite/simdag/platforms/Dijkstra.xml
-include teshsuite/simdag/platforms/bob.trace
-include teshsuite/simdag/platforms/bogus_missing_dst_gateway.xml
-include teshsuite/simdag/platforms/bogus_missing_src_gateway.xml
-include teshsuite/simdag/platforms/bogus_two_hosts_asymetric.xml
-include teshsuite/simdag/platforms/carol.fail
-include teshsuite/simdag/platforms/cluster_dragonfly_noncontiguous_rad.xml
-include teshsuite/simdag/platforms/cluster_fat_tree_noncontiguous_rad.xml
-include teshsuite/simdag/platforms/cluster_torus_noncontiguous_rad.xml
-include teshsuite/simdag/platforms/erin.avail
-include teshsuite/simdag/platforms/four_hosts_floyd.xml
-include teshsuite/simdag/platforms/host_attributes.xml
-include teshsuite/simdag/platforms/link.bw
-include teshsuite/simdag/platforms/link.fail
-include teshsuite/simdag/platforms/link.lat
-include teshsuite/simdag/platforms/link_attributes.xml
-include teshsuite/simdag/platforms/one_cluster.xml
-include teshsuite/simdag/platforms/one_cluster_multicore.xml
-include teshsuite/simdag/platforms/one_cluster_router_id.xml
-include teshsuite/simdag/platforms/one_cluster_splitduplex.xml
-include teshsuite/simdag/platforms/properties.xml
-include teshsuite/simdag/platforms/test_of_is_router.xml
-include teshsuite/simdag/platforms/three_hosts_non_symmetric_route.xml
-include teshsuite/simdag/platforms/two_clusters.xml
-include teshsuite/simdag/platforms/two_clusters_one_name.xml
-include teshsuite/simdag/platforms/two_clusters_router_id.xml
-include teshsuite/simdag/platforms/two_hosts_multi_hop.xml
-include teshsuite/simdag/platforms/two_hosts_one_link.xml
-include teshsuite/simdag/platforms/two_hosts_one_link_splitduplex.xml
include teshsuite/smpi/auto-shared/auto-shared.c
include teshsuite/smpi/auto-shared/auto-shared.tesh
include teshsuite/smpi/bug-17132/bug-17132.c
include examples/c/CMakeLists.txt
include examples/cpp/CMakeLists.txt
include examples/deprecated/java/CMakeLists.txt
-include examples/deprecated/msg/mc/CMakeLists.txt
include examples/platforms/CMakeLists.txt
include examples/platforms/bypassRoute.xml
include examples/platforms/bypassZoneRoute.xml
include src/bindings/lua/simgrid_lua.cpp
include src/bindings/lua/simgrid_lua.hpp
include src/bindings/python/simgrid_python.cpp
+include src/dag/dax.dtd
+include src/dag/dax_dtd.c
+include src/dag/dax_dtd.h
+include src/dag/loaders.cpp
include src/include/catch.hpp
include src/include/mc/datatypes.h
include src/include/mc/mc.h
include src/s4u/s4u_Netzone.cpp
include src/s4u/s4u_Semaphore.cpp
include src/s4u/s4u_VirtualMachine.cpp
-include src/simdag/dax.dtd
-include src/simdag/dax_dtd.c
-include src/simdag/dax_dtd.h
-include src/simdag/sd_daxloader.cpp
include src/simgrid/Exception.cpp
include src/simgrid/sg_config.cpp
include src/simgrid/sg_version.cpp
include teshsuite/mc/CMakeLists.txt
include teshsuite/models/CMakeLists.txt
include teshsuite/msg/CMakeLists.txt
+include teshsuite/platforms/CMakeLists.txt
include teshsuite/python/CMakeLists.txt
include teshsuite/s4u/CMakeLists.txt
-include teshsuite/simdag/CMakeLists.txt
include teshsuite/smpi/CMakeLists.txt
include teshsuite/smpi/isp/umpire/CMakeLists.txt
include teshsuite/smpi/mpich3-test/CMakeLists.txt