## lustrec-tests / regression_tests / lustre_files / success / Simulink / src_many_files / Assignment5.LUSTREC.lusi @ cd1faebc

History | View | Annotate | Download (598 Bytes)

1 | 4748b215 | hbourbou | (* Generated Lustre Interface file from Assignment5.LUSTREC.lus *) |
---|---|---|---|

2 | (* by Lustre-C compiler version 1.7-888-@GITBRANCH@, 2018/11/4, 20:21:27 *) |
||

3 | (* Feel free to mask some of the definitions by removing them from this file. *) |
||

4 | |||

5 | node Assignment5 (In1_1: real; |
||

6 | In1_2: real; |
||

7 | In1_3: real; |
||

8 | In1_4: real; |
||

9 | In1_5: real; |
||

10 | In1_6: real; |
||

11 | In1_7: real; |
||

12 | In1_8: real; |
||

13 | In1_9: real; |
||

14 | In1_10: real; |
||

15 | In1_11: real; |
||

16 | In1_12: real; |
||

17 | In2_1: real) returns (Out4_1: real; |
||

18 | Out4_2: real; |
||

19 | Out4_3: real; |
||

20 | Out4_4: real; |
||

21 | Out4_5: real; |
||

22 | Out4_6: real; |
||

23 | Out4_7: real; |
||

24 | Out4_8: real; |
||

25 | Out4_9: real; |
||

26 | Out4_10: real; |
||

27 | Out4_11: real; |
||

28 | Out4_12: real); |
||

29 |