lustrec-tests / regression_tests / lustre_files / success / Simulink / src_sum_collapse_bool_test / sum_collapse_bool_test.lusi @ 0c9457a0
History | View | Annotate | Download (961 Bytes)
| 1 | 0c9457a0 | bourbouh | (* Generated Lustre Interface file from sum_collapse_bool_test.lus *) |
|---|---|---|---|
| 2 | (* by Lustre-C compiler version 1.3-458, 2016/10/29, 22:54:47 *) |
||
| 3 | (* Feel free to mask some of the definitions by removing them from this file. *) |
||
| 4 | |||
| 5 | node sum_collapse_bool_test (In17_1_1: int; In18_1_1: int; In19_1_1: int; In19_1_2: int; In19_1_3: int; In20_1_1: int; In20_1_2: int; In20_1_3: int; In21_1_1: int; In21_1_2: int; In21_1_3: int; In21_1_4: int; In21_1_5: int; In21_1_6: int; In22_1_1: int; In22_1_2: int; In22_1_3: int; In22_1_4: int; In22_1_5: int; In22_1_6: int; In23_1_1: int; In23_1_2: int; In23_1_3: int; In23_1_4: int; In23_1_5: int; In23_1_6: int; In24_1_1: int; In24_1_2: int; In24_1_3: int; In24_1_4: int; In24_1_5: int; In24_1_6: int) returns (Out17_1_1: int; Out18_2_1: int; Out19_3_1: int; Out20_4_1: int; Out21_5_1: int; Out21_5_2: int; Out21_5_3: int; Out22_6_1: int; Out22_6_2: int; Out22_6_3: int; Out23_7_1: int; Out23_7_2: int; Out24_8_1: int; Out24_8_2: int); |