Pretty print of counters.

diff --git a/src/run.ml b/src/run.ml
index 6b38203..a9d886f 100644 (file)
--- 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))