From b1f526e4157e5a965b4773291c81fc71de27de25 Mon Sep 17 00:00:00 2001
From: Marion Guthmuller <marion.guthmuller@loria.fr>
Date: Wed, 4 Jul 2012 11:29:20 +0200
Subject: [PATCH] model-checker : use rename() instead of system(mv ..)

---
 src/mc/mc_liveness.c | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/mc/mc_liveness.c b/src/mc/mc_liveness.c
index 6c35380468..82481dcde1 100644
--- a/src/mc/mc_liveness.c
+++ b/src/mc/mc_liveness.c
@@ -64,8 +64,8 @@ int create_dump(int pair)
     if(WIFSIGNALED(status) && WCOREDUMP(status)){
       printf("got a core dump\n");
       char *core_name = malloc(20);
-      sprintf(core_name,"mv core core_%d", pair); 
-      system((char *)core_name);
+      sprintf(core_name,"core_%d", pair); 
+      rename("core", core_name);
       free(core_name);
     }
   }
-- 
2.20.1