Project

General

Profile

Revision 0d54d8a8 src/backends/Horn/horn_backend_traces.ml

View differences:

src/backends/Horn/horn_backend_traces.ml
112 112
              (fun def ->
113 113
                match def with
114 114
                | Eq eq -> (match eq.eq_lhs with
115
                            | [v] -> v = var_id 
115
                            | [v] -> v = var_id
116
                            | _ -> assert false
116 117
                           )
117 118
                | _ -> false)
118 119
              m.mname.node_stmts

Also available in: Unified diff