From: Marion Guthmuller <marion.guthmuller@loria.fr>
Date: Tue, 31 Jul 2012 12:49:13 +0000 (+0200)
Subject: model-checker : remove unused function
X-Git-Tag: v3_8~229
X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/ab23fd586c00bc3e9ea24f1dcd3d52dd0fc60bce?hp=6107bfa22ce651ef87f9862000366be3a88fc6a5;ds=sidebyside

model-checker : remove unused function
---

diff --git a/include/simgrid/modelchecker.h b/include/simgrid/modelchecker.h
index bd966e6243..3d846c2a92 100644
--- a/include/simgrid/modelchecker.h
+++ b/include/simgrid/modelchecker.h
@@ -19,10 +19,8 @@ extern int _surf_do_model_check;
 
 XBT_PUBLIC(void) MC_assert(int);
 XBT_PUBLIC(int) MC_random(int min, int max);
-XBT_PUBLIC(void) MC_diff(void);
 XBT_PUBLIC(void) MC_automaton_new_propositional_symbol(const char* id, void* fct);
 
-
 #else
 
 #define MC_IS_ENABLED 0
diff --git a/src/mc/mc_global.c b/src/mc/mc_global.c
index 461f6c0f20..bee23e103c 100644
--- a/src/mc/mc_global.c
+++ b/src/mc/mc_global.c
@@ -593,37 +593,6 @@ double MC_process_clock_get(smx_process_t process)
     return 0;
 }
 
-void MC_diff(void){
-
-  mc_snapshot_t sn = xbt_new0(s_mc_snapshot_t, 1);
-  MC_take_snapshot_liveness(sn);
-
-  int i;
-
-  XBT_INFO("Number of regions : %u", sn->num_reg);
-
-  for(i=0; i<sn->num_reg; i++){
-    
-    switch(sn->regions[i]->type){
-    case 0: /* heap */
-      XBT_INFO("Size of heap : %zu", sn->regions[i]->size);
-      break;
-    case 1 : /* libsimgrid */
-      XBT_INFO("Size of libsimgrid : %zu", sn->regions[i]->size);
-      break;
-    case 2 : /* data program */
-      XBT_INFO("Size of data program : %zu", sn->regions[i]->size);
-      break;
-    case 3 : /* stack */
-      XBT_INFO("Size of stack : %zu", sn->regions[i]->size);
-      XBT_INFO("Start addr of stack : %p", sn->regions[i]->start_addr);
-      break;
-    }
-
-  }
-
-}
-
 void MC_automaton_load(const char *file){
 
   raw_mem_set = (mmalloc_get_current_heap() == raw_heap);