lustrec-tests / regression_tests / lustre_files / success / Simulink / src_goto_from_test / goto_from_test.lusi @ 0c9457a0
History | View | Annotate | Download (510 Bytes)
| 1 | 0c9457a0 | bourbouh | (* Generated Lustre Interface file from goto_from_test.lus *) |
|---|---|---|---|
| 2 | (* by Lustre-C compiler version 1.3-458, 2016/10/29, 22:54:49 *) |
||
| 3 | (* Feel free to mask some of the definitions by removing them from this file. *) |
||
| 4 | |||
| 5 | node goto_from_test (In1_1_1: real; In2_1_1: int; In2_1_2: int; In3_1_1: bool; In3_1_2: bool; In3_1_3: bool; In3_1_4: bool; In3_1_5: bool; In3_1_6: bool) returns (Out1_1_1: real; Out2_2_1: int; Out2_2_2: int; Out3_3_1: int; Out3_3_2: int; Out3_3_3: int; Out3_3_4: int; Out3_3_5: int; Out3_3_6: int); |