Project

General

Profile

Revision 307aba8d src/causality.ml

View differences:

src/causality.ml
191 191
      else
192 192
	let x = if ISet.mem x inputs then mk_read_var x else x in
193 193
	(add_edges lhs [x] g, g')
194
    else (g, g') in
194
    else (add_edges lhs [mk_read_var x] g, g') (* x is a global constant, treated as a read var *) in
195 195
(* Add dependencies from [lhs] to rhs clock [ck]. *)
196 196
  let rec add_clock lhs_is_mem lhs ck g =
197 197
    (*Format.eprintf "add_clock %a@." Clocks.print_ck ck;*)

Also available in: Unified diff