Skip to content
Snippets Groups Projects
Commit 86b99b69 authored by THIRIOUX Xavier's avatar THIRIOUX Xavier
Browse files

modified optimization info printout (option -print_reuse)

parent fb8b1da7
No related branches found
No related tags found
No related merge requests found
......@@ -166,6 +166,11 @@ let schedule_node n =
if !Options.print_reuse
then
begin
Log.report ~level:0
(fun fmt ->
Format.fprintf fmt
"OPT:%B@." (try (Hashtbl.iter (fun s1 v2 -> if s1 = v2.var_id then raise Not_found) reuse; false) with Not_found -> true)
);
Log.report ~level:0
(fun fmt ->
Format.fprintf fmt
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment