projects
/
tatoo.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
|
inline
| side by side (parent:
2efd748
)
Pretty print of counters.
lucca-optim
author
Lucca Hirschi
<lucca.hirschi@gmail.com>
Wed, 18 Jul 2012 11:50:22 +0000
(13:50 +0200)
committer
Lucca Hirschi
<lucca.hirschi@gmail.com>
Wed, 18 Jul 2012 11:50:22 +0000
(13:50 +0200)
src/run.ml
patch
|
blob
|
history
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
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 M
iss: %d\n%!" (!num_call_oracle_fixpoint)
+ "
For bu_oracle: call %d, m
iss: %d\n%!" (!num_call_oracle_fixpoint)
(!num_miss_oracle_fixpoint))
(* Build the Oracle *)
(!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
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 M
iss: %d\n%!" (!num_call_over_max_fixpoint)
+ "
For bu_over_max: call %d, m
iss: %d\n%!" (!num_call_over_max_fixpoint)
(!num_miss_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
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 M
iss: %d\n%!" (!num_call_tp_max_fixpoint)
+ "
For tp_max: call %d, m
iss: %d\n%!" (!num_call_tp_max_fixpoint)
(!num_miss_tp_max_fixpoint))
(!num_miss_tp_max_fixpoint))