X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/db1df4b379b3e088b50f6e573ba9b0887b59c96a..62490c014fa9e1e50b1923b5707b11d47abaac2f:/src/mc/sosp/mc_snapshot_test.cpp

diff --git a/src/mc/sosp/mc_snapshot_test.cpp b/src/mc/sosp/mc_snapshot_test.cpp
index 51f8b130ea..10c76c2f17 100644
--- a/src/mc/sosp/mc_snapshot_test.cpp
+++ b/src/mc/sosp/mc_snapshot_test.cpp
@@ -5,6 +5,7 @@
 
 #define BOOST_TEST_MODULE snapshots
 #define BOOST_TEST_DYN_LINK
+bool init_unit_test(); // boost sometimes forget to give this prototype (NetBSD and other), which does not fit our paranoid flags
 #include <boost/test/unit_test.hpp>
 
 #include <cstdlib>
@@ -43,7 +44,6 @@ public:
     mc_model_checker = nullptr;
   }
 
-public:
   static bool sparse_checkpoint;
   static std::unique_ptr<simgrid::mc::RemoteClient> process;
 };
@@ -148,7 +148,6 @@ void BOOST_tests::compare_region_parts()
 
     prologue_return ret = prologue(n);
 
-    // xbt_test_add("Compare parts of region data for %i page(s) with itself", n);
     for (int j = 0; j != 100; ++j) {
       size_t offset = rand() % ret.size;
       size_t size   = rand() % (ret.size - offset);
@@ -165,7 +164,6 @@ void BOOST_tests::read_pointer()
 {
 
   prologue_return ret = prologue(1);
-  // xbt_test_add("Read pointer for %i page(s)", n);
   memcpy(ret.src, &mc_model_checker, sizeof(void*));
   simgrid::mc::RegionSnapshot region2 =
       simgrid::mc::sparse_region(simgrid::mc::RegionType::Unknown, ret.src, ret.src, ret.size);