From: Martin Quinson <martin.quinson@ens-rennes.fr>
Date: Sat, 19 Feb 2022 11:33:16 +0000 (+0100)
Subject: MC: prefer a memleak to a segfault
X-Git-Tag: v3.31~366
X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/ed24149324e2b1a5fd5224d3e4e9f0dd7f5a11ae?ds=sidebyside

MC: prefer a memleak to a segfault
---

diff --git a/src/mc/checker/simgrid_mc.cpp b/src/mc/checker/simgrid_mc.cpp
index 0cc4ffe173..5ad9992e89 100644
--- 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;
 }