X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/c4da7e409e2f6d39b72ea32f61d04da85a126a28..34b1612aaf4fb4375dc39f42941027e56b80aafa:/MANIFEST.in diff --git a/MANIFEST.in b/MANIFEST.in index 3bd5a10520..1eea8b7924 100644 --- a/MANIFEST.in +++ b/MANIFEST.in @@ -2168,6 +2168,7 @@ include src/mc/explo/LivenessChecker.hpp include src/mc/explo/UdporChecker.cpp include src/mc/explo/UdporChecker.hpp include src/mc/explo/simgrid_mc.cpp +include src/mc/explo/udpor/Comb.hpp include src/mc/explo/udpor/Configuration.cpp include src/mc/explo/udpor/Configuration.hpp include src/mc/explo/udpor/Configuration_test.cpp