Project

General

Profile

Revision b4d9710b src/scheduling.ml

View differences:

src/scheduling.ml
155 155
 
156 156
    let disjoint = Disjunction.clock_disjoint_map node_vars in
157 157
    
158
    Log.report ~level:2 
158
    Log.report ~level:3 
159 159
      (fun fmt -> 
160 160
	Format.fprintf fmt
161 161
	  "clock disjoint map for node %s: %a" 
......
164 164
      );
165 165

  
166 166
    let reuse = Liveness.compute_reuse_policy n sort disjoint gg in
167
    Log.report ~level:2 
168
      (fun fmt -> 
169
	Format.fprintf fmt
170
	  "reuse policy for node %s: %a" 
171
	  n'.node_id
172
	  Liveness.pp_reuse_policy reuse
173
      );
174 167
 
175 168
    n', { schedule = sort; unused_vars = unused; fanin_table = fanin; reuse_table = reuse }
176 169
  with (Causality.Cycle vl) as exc ->

Also available in: Unified diff