MC: prefer a memleak to a segfault

diff --git a/src/mc/checker/simgrid_mc.cpp b/src/mc/checker/simgrid_mc.cpp
index 0cc4ffe..5ad9992 100644 (file)
--- a/src/mc/checker/simgrid_mc.cpp
+++ b/src/mc/checker/simgrid_mc.cpp
@@ -69,6 +69,6 @@ int main(int argc, char** argv)
   }
   api::get().s_close();
   delete[] argv_copy;
-  delete checker;
+  // delete checker; SEGFAULT in liveness
   return res;
 }