From ed24149324e2b1a5fd5224d3e4e9f0dd7f5a11ae Mon Sep 17 00:00:00 2001
From: Martin Quinson <martin.quinson@ens-rennes.fr>
Date: Sat, 19 Feb 2022 12:33:16 +0100
Subject: [PATCH] MC: prefer a memleak to a segfault

---
 src/mc/checker/simgrid_mc.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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;
 }
-- 
2.20.1