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/access.ml
80 80 
  let checks =
81 81 
    List.fold_left check_var_decl checks (get_node_vars nd) in
82 82 
  let checks =
83 
    List.fold_left (fun checks eq -> check_expr checks eq.eq_rhs) checks (get_node_eqs nd) in
83 
    let eqs, auts = get_node_eqs nd in
84 
    assert (auts = []); (* Not checking automata yet . *)
85 
    List.fold_left (fun checks eq -> check_expr checks eq.eq_rhs) checks eqs in
84 86 
  nd.node_checks <- CSet.elements checks
85 87 

  		




  86
  88
  
    
let check_top_decl decl =


  		












Also available in:  Unified diff