Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec-tests / regression_tests / lustre_files / success / Simulink / src_logic_expand_test / logic_expand_test.lusi @ 0c9457a0

History | View | Annotate | Download (773 Bytes)

1 0c9457a0 bourbouh
(* Generated Lustre Interface file from logic_expand_test.lus *)
2
(* by Lustre-C compiler version 1.3-458, 2016/10/29, 22:55:0 *)
3
(* Feel free to mask some of the definitions by removing them from this file. *)
4
5
node logic_expand_test (In1_1_1: bool; In2_1_1: bool; In2_1_2: bool; In2_1_3: bool; In3_1_1: bool; In4_1_1: bool; In4_1_2: bool; In4_1_3: bool; In5_1_1: bool; In6_1_1: bool; In6_1_2: bool; In6_1_3: bool; In7_1_1: bool; In8_1_1: bool; In9_1_1: bool; In9_1_2: bool; In9_1_3: bool; In10_1_1: bool; In10_1_2: bool; In10_1_3: bool; In11_1_1: bool; In12_1_1: bool) returns (Out1_1_1: bool; Out1_1_2: bool; Out1_1_3: bool; Out2_2_1: bool; Out2_2_2: bool; Out2_2_3: bool; Out3_3_1: bool; Out3_3_2: bool; Out3_3_3: bool; Out4_4_1: bool; Out4_4_2: bool; Out4_4_3: bool);