Project

General

Profile

Revision b1a97ade src/scheduling.ml

View differences:

src/scheduling.ml
113 113
    let death = Liveness.death_table n gg sort in
114 114
    Log.report ~level:5 (fun fmt -> Format.eprintf "death table for node %s: %a" n'.node_id Liveness.pp_death_table death);
115 115

  
116
    let disjoint = Disjunction.clock_disjoint_map (node_vars n) in
117
    Log.report ~level:5 (fun fmt -> Format.eprintf "clock disjoint map for node %s: %a" n'.node_id Disjunction.pp_disjoint_map disjoint);
118

  
116 119
    let reuse = Liveness.reuse_policy n sort death in
117 120
    Log.report ~level:5 (fun fmt -> Format.eprintf "reuse policy for node %s: %a" n'.node_id Liveness.pp_reuse_policy reuse);
118 121
 

Also available in: Unified diff