Project

General

Profile

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

View differences:

src/tools/seal/seal_verifier.ml
61 61
  (* Format.eprintf "Mems: %a@." (Utils.fprintf_list ~sep:"; " Printers.pp_var) mems; *)
62 62
  let msch = Utils.desome m.msch in
63 63
  (* Format.eprintf "graph: %a@." Causality.pp_dep_graph deps; *)
64
  let sliced_nd = slice_node mems msch nd in
64
  let sliced_nd = slice_node (mems@nd.node_outputs) msch nd in
65 65
  (* Format.eprintf "Sliced Node %a@." Printers.pp_node sliced_nd; *)
66 66
  report ~level:3 (fun fmt -> Format.fprintf fmt "Node sliced@.");
67 67

  

Also available in: Unified diff