Project

General

Profile

Revision bd771bbe

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