X-Git-Url: http://bilbo.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/515cd2622ad1000f5f3ba58ecfaf488ac922b963..8f980bafd078433bccc0f0117221753fdd8107c0:/MANIFEST.in diff --git a/MANIFEST.in b/MANIFEST.in index 625f6ccd15..fc181417b0 100644 --- a/MANIFEST.in +++ b/MANIFEST.in @@ -2156,6 +2156,8 @@ 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.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