From 113dec377baaaa0d41929d24ed2b48c80d79ba36 Mon Sep 17 00:00:00 2001
From: Marion Guthmuller <marion.guthmuller@loria.fr>
Date: Tue, 3 Jul 2012 23:02:04 +0200
Subject: [PATCH] model-checker : use abort() instead of a hack for core dump

---
 src/mc/mc_liveness.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/mc/mc_liveness.c b/src/mc/mc_liveness.c
index fbbd221e90..6c35380468 100644
--- a/src/mc/mc_liveness.c
+++ b/src/mc/mc_liveness.c
@@ -48,7 +48,7 @@ int create_dump(int pair)
   switch(fork()){
   case 0:
     // We are the child process -- run the actual program
-    *(int *)1 = 2;  // segfault
+    abort();
     break;
     
   case -1:
-- 
2.20.1