Project

General

Profile

Revision cfe98135 src/tools/importer/main_lustre_importer.ml

View differences:

src/tools/importer/main_lustre_importer.ml
36 36
      Format.printf "Parsed VHDL: \n%s\n" (pretty_to_string (vhdl_file_t_to_yojson x));
37 37
      (* Fold Op vhdl_expr_t values *)
38 38
      let folded = replace_op_expr#vhdl_file_t x in
39
      Format.printf "PP VHDL: \n%s\n" (show_vhdl_file_t folded);
40 39
      (* Translate vhdl_file_t value as lustre value *)
41 40
      let program = to_lustre#vhdl_file_t folded in
42 41
      Format.printf "PP VHDL: \n%s\n" (show_vhdl_file_t program);

Also available in: Unified diff