Project

General

Profile

Revision 04a188ec src/tools/seal/seal_verifier.ml

View differences:

src/tools/seal/seal_verifier.ml
57 57
      | None -> begin
58 58
          Global.main_node := s;
59 59
          Format.eprintf "Code generation error: %a@." Error.pp_error_msg Error.Main_not_found;
60
          raise (Corelang.Error (Location.dummy_loc, Error.Main_not_found))
60
          raise (Error.Error (Location.dummy_loc, Error.Main_not_found))
61 61
        end
62 62
      | Some _ -> s
63 63
    )
......
66 66
  let nd = m.mname in
67 67
  (* Format.eprintf "Node %a@." Printers.pp_node nd; *)
68 68
  let mems = m.mmemory in
69
  report ~level:1 (fun fmt -> Format.fprintf fmt "Node %s compiled: %i memories@." nd.node_id (List.length mems));
69 70
  (* Format.eprintf "Mems: %a@." (Utils.fprintf_list ~sep:"; " Printers.pp_var) mems; *)
70 71
  let msch = Utils.desome m.msch in
71 72
  (* Format.eprintf "graph: %a@." Causality.pp_dep_graph deps; *)
......
106 107
       let pp_res = pp_res Printers.pp_expr in
107 108
      Format.fprintf fmt "DynSys:@ @[<v 0>@[<v 3>Init:@ %a@]@ "
108 109
        pp_res  sw_init;
109
      Format.fprintf fmt "@[<v 3>Step:@ %a@]@]@ "
110
      Format.fprintf fmt "@[<v 3>Step:@ %a@]@]@."
110 111
        pp_res  sw_sys
111 112
    );
112
  report ~level:1 (fun fmt ->
113

  
114

  
115
                
116
 report ~level:1 (fun fmt ->
113 117
      (*let pp_res = pp_res (fun fmt e -> Format.fprintf fmt "%i" e.Lustre_types.expr_tag)  in*)
114 118
       let pp_res = pp_res Printers.pp_expr in
115
      Format.fprintf fmt "Output:@ @[<v 0>@[<v 3>Init:@ %a@]@ "
116
        pp_res  init_out;
117
      Format.fprintf fmt "@[<v 3>Step:@ %a@]@]@ "
119
      Format.fprintf fmt "Output (%i init, %i step switch cases):@ @[<v 0>@[<v 3>Init:@ %a@]@ "
120
             (List.length init_out)
121
                   (List.length update_out)
122
                   pp_res  init_out;
123
      Format.fprintf fmt "@[<v 3>Step:@ %a@]@]@."
118 124
        pp_res  update_out
119 125
    );
120 126
  let _ = match !seal_export with

Also available in: Unified diff