Project

General

Profile

Revision bd771bbe src/causality.ml

View differences:

src/causality.ml
143 143 
(* excluding all/[inputs]                       *)
144 144 
let add_eq_dependencies mems non_inputs eq (g, g') =
145 145 
  let add_var lhs_is_mem lhs x (g, g') =
146 
    if ISet.mem x non_inputs then
146 
    if is_instance_var x || ISet.mem x non_inputs then
147 147 
      match (lhs_is_mem, ISet.mem x mems) with
148 148 
      | (false, true ) -> (add_edges [x] lhs g, g'                  )
149 149 
      | (false, false) -> (add_edges lhs [x] g, g'                  )

Also available in: Unified diff