## lustrec-tests/regression_tests/lustre_files/success/Simulink/src_many_files/Assignment4.LUSTREC.lusi @ 4748b215

1 | 4748b215 | hbourbou | (* Generated Lustre Interface file from Assignment4.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 Assignment4 (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; |
||

18 | In2_2: real; |
||

19 | In2_3: real; |
||

20 | In2_4: real) returns (Out6_1: real; |
||

21 | Out6_2: real; |
||

22 | Out6_3: real; |
||

23 | Out6_4: real; |
||

24 | Out6_5: real; |
||

25 | Out6_6: real; |
||

26 | Out6_7: real; |
||

27 | Out6_8: real; |
||

28 | Out6_9: real; |
||

29 | Out6_10: real; |
||

30 | Out6_11: real; |
||

31 | Out6_12: real); |
||

32 |