Project

General

Profile

Revision 25320f03 src/tools/seal/seal_extract.ml

View differences:

src/tools/seal/seal_extract.ml
841 841
  let schedule = nd_report.Scheduling_type.schedule in
842 842
  let eqs, auts = Corelang.get_node_eqs nd in
843 843
  assert (auts = []); (* Automata should be expanded by now *)
844
  let sorted_eqs = Scheduling.sort_equations_from_schedule eqs schedule in
844
  let sorted_eqs, unused = Scheduling.sort_equations_from_schedule eqs schedule in
845 845
  let defs : (ident,  elem_guarded_expr list) Hashtbl.t = Hashtbl.create 13 in
846 846
  let add_def = add_def defs in
847 847

  
848 848
  let vars = Corelang.get_node_vars nd in
849
  (* Filtering out unused vars *)
850
  let vars = List.filter (fun v -> not (List.mem v.var_id unused)) vars in
849 851
  (* Registering all locals variables as Z3 predicates. Will be use to
850 852
     simplify the expansion *) 
851 853
  let _ =

Also available in: Unified diff