Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Adjust tesh tests according to changes in deps.
[simgrid.git] / MANIFEST.in
index 02e695c03d8e340dc111ca0b0ab7e6fb761732f7..b9ca4f9299ccbdb12ea0cafc9a872bb3a0327bcd 100644 (file)
@@ -2195,8 +2195,11 @@ include src/mc/explo/odpor/ClockVector_test.cpp
 include src/mc/explo/odpor/Execution.cpp
 include src/mc/explo/odpor/Execution.hpp
 include src/mc/explo/odpor/Execution_test.cpp
+include src/mc/explo/odpor/ReversibleRaceCalculator.cpp
+include src/mc/explo/odpor/ReversibleRaceCalculator.hpp
 include src/mc/explo/odpor/WakeupTree.cpp
 include src/mc/explo/odpor/WakeupTree.hpp
+include src/mc/explo/odpor/WakeupTree_test.cpp
 include src/mc/explo/odpor/WakeupTreeIterator.cpp
 include src/mc/explo/odpor/WakeupTreeIterator.hpp
 include src/mc/explo/odpor/odpor_forward.hpp