From 3c05557d22d07e447ae8efae3bfe38619c14c2a9 Mon Sep 17 00:00:00 2001 From: Lucca Hirschi Date: Wed, 18 Jul 2012 13:50:22 +0200 Subject: [PATCH] Pretty print of counters. --- src/run.ml | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) 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)) -- 2.17.1