Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Add first test for immediate conflicts edge case
[simgrid.git] / MANIFEST.in
index 37e3826..85bad9a 100644 (file)
@@ -2174,6 +2174,7 @@ include src/mc/explo/udpor/Unfolding_test.cpp
 include src/mc/explo/udpor/maximal_subsets_iterator.cpp
 include src/mc/explo/udpor/maximal_subsets_iterator.hpp
 include src/mc/explo/udpor/udpor_forward.hpp
+include src/mc/explo/udpor/udpor_tests_private.hpp
 include src/mc/inspect/DwarfExpression.cpp
 include src/mc/inspect/DwarfExpression.hpp
 include src/mc/inspect/Frame.cpp