Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
[sonar] Replace the use of "::type" with the "_t" version of type traits.
[simgrid.git] / MANIFEST.in
index f6ed87c..37aa366 100644 (file)
@@ -2278,6 +2278,8 @@ include src/mc/checker/LivenessChecker.hpp
 include src/mc/checker/SafetyChecker.cpp
 include src/mc/checker/SafetyChecker.hpp
 include src/mc/checker/SimcallInspector.hpp
+include src/mc/checker/UdporChecker.cpp
+include src/mc/checker/UdporChecker.hpp
 include src/mc/checker/simgrid_mc.cpp
 include src/mc/compare.cpp
 include src/mc/inspect/DwarfExpression.cpp
@@ -2300,6 +2302,7 @@ include src/mc/inspect/mc_unw.hpp
 include src/mc/inspect/mc_unw_vmread.cpp
 include src/mc/mc_api.cpp
 include src/mc/mc_api.hpp
+include src/mc/udpor_global.hpp
 include src/mc/mc_base.cpp
 include src/mc/mc_base.h
 include src/mc/mc_client_api.cpp