Project

General

Profile

« Previous | Next » 

Revision d040e852

Added by Arnaud Dieumegard over 4 years ago

Modified output display for check mode

View differences:

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