From: Lucca Hirschi <lucca.hirschi@gmail.com>
Date: Wed, 18 Jul 2012 11:50:22 +0000 (+0200)
Subject: Pretty print of counters.
X-Git-Url: http://git.nguyen.vg/gitweb/?p=tatoo.git;a=commitdiff_plain;h=refs%2Fheads%2Flucca-optim

Pretty print of counters.
---

diff --git a/src/run.ml b/src/run.ml
index 6b38203..a9d886f 100644
--- a/src/run.ml
+++ b/src/run.ml
@@ -45,7 +45,7 @@ let map_leaf asta = (Asta.bot_states_s asta, StateSet.empty)
 let num_call_oracle_fixpoint = ref 0
 let num_miss_oracle_fixpoint = ref 0
 let () = at_exit(fun () -> Format.fprintf Format.err_formatter
-  "Num: call %d, Num Miss: %d\n%!" (!num_call_oracle_fixpoint)
+  "For bu_oracle: call %d, miss: %d\n%!" (!num_call_oracle_fixpoint)
   (!num_miss_oracle_fixpoint))
 
 (* Build the Oracle *)
@@ -98,7 +98,7 @@ let rec bu_oracle asta run tree tnode hashOracle hashEval =
 let num_call_over_max_fixpoint = ref 0
 let num_miss_over_max_fixpoint = ref 0
 let () = at_exit(fun () -> Format.fprintf Format.err_formatter
-  "Num: call %d, Num Miss: %d\n%!" (!num_call_over_max_fixpoint)
+  "For bu_over_max: call %d, miss: %d\n%!" (!num_call_over_max_fixpoint)
   (!num_miss_over_max_fixpoint))
 
 
@@ -148,7 +148,7 @@ let rec bu_over_max asta run tree tnode hashOver hashInfer =
 let num_call_tp_max_fixpoint = ref 0
 let num_miss_tp_max_fixpoint = ref 0
 let () = at_exit(fun () -> Format.fprintf Format.err_formatter
-  "Num: call %d, Num Miss: %d\n%!" (!num_call_tp_max_fixpoint)
+  "For tp_max: call %d, miss: %d\n%!" (!num_call_tp_max_fixpoint)
   (!num_miss_tp_max_fixpoint))