Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

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