Project

General

Profile

Revision 86b99b69

View differences:

src/scheduling.ml
169 169
	Log.report ~level:0 
170 170
	  (fun fmt -> 
171 171
	    Format.fprintf fmt
172
	      "OPT:%B@." (try (Hashtbl.iter (fun s1 v2 -> if s1 = v2.var_id then raise Not_found) reuse; false) with Not_found -> true)
173
	  );
174
	Log.report ~level:0 
175
	  (fun fmt -> 
176
	    Format.fprintf fmt
172 177
	      "OPT:clock disjoint map for node %s: %a" 
173 178
	      n'.node_id
174 179
	      Disjunction.pp_disjoint_map disjoint

Also available in: Unified diff