Revision d040e852
Added by Arnaud Dieumegard over 4 years ago
| src/tools/importer/main_lustre_importer.ml | ||
|---|---|---|
| 95 | 95 |
) |
| 96 | 96 |
| Check -> ( |
| 97 | 97 |
let mini_vhdl = to_mini_vhdl#vhdl_design_file_t folded.design_file in |
| 98 |
let mini_vhdl_value = show_mini_vhdl_design_file_t mini_vhdl in |
|
| 99 |
output_result mini_vhdl_value; |
|
| 98 | 100 |
check_mini_vhdl to_mini_vhdl#get_db to_mini_vhdl#to_string_vhdl_name_t |
| 99 | 101 |
) |
| 100 | 102 |
| GenLus -> ( |
Also available in: Unified diff
Modified output display for check mode