Project

General

Profile

« Previous | Next » 

Revision 333e3a25

Added by Pierre-Loïc Garoche over 5 years ago

[general] Refactor get_node_eqs to produce (eqs, auts) with automatons

View differences:

src/mpfr.ml
221 221 
  let is_local v =
222 222 
    List.for_all ((!=) v) inputs_outputs in
223 223 
  let orig_vars = inputs_outputs@node.node_locals in
224 
  let defs, vars =
225 
    List.fold_left (inject_eq node) ([], orig_vars) (get_node_eqs node) in
224 
  let defs, vars =
225 
    let eqs, auts = get_node_eqs node in
226 
    if auts != [] then assert false; (* Automata should be expanded by now. *)
227 
    List.fold_left (inject_eq node) ([], orig_vars) eqs in
226 228 
  (* Normalize the asserts *)
227 229 
  let vars, assert_defs, asserts =
228 230 
    List.fold_left (

Also available in: Unified diff