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 *)
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))
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))