Revision cfe98135
Added by Arnaud Dieumegard over 6 years ago
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
Update of importer to display only last version of pretty printed vhdl code