Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec-tests / regression_tests / lustre_files / success / Simulink / src_reshape_test / reshape_test.lus @ 6c3ea955

History | View | Annotate | Download (7.73 KB)

1
-- This file has been generated by cocoSim
2

    
3

    
4
-- System nodes
5
node reshape_test (In1_1_1 : real; In2_1_1 : real; In2_1_2 : real; In2_1_3 : real; In2_1_4 : real; In2_1_5 : real; In3_1_1 : bool; In3_1_2 : bool; In3_1_3 : bool; In3_1_4 : bool; In3_1_5 : bool; In3_1_6 : bool; In4_1_1 : real; In4_1_2 : real; In4_1_3 : real; In4_1_4 : real; In4_1_5 : real; In5_1_1 : bool; In5_1_2 : bool; In5_1_3 : bool; In5_1_4 : bool; In5_1_5 : bool; In5_1_6 : bool; In6_1_1 : real; In6_1_2 : real; In6_1_3 : real; In6_1_4 : real; In6_1_5 : real; In7_1_1 : bool; In7_1_2 : bool; In7_1_3 : bool; In7_1_4 : bool; In7_1_5 : bool; In7_1_6 : bool; In8_1_1 : real; In8_1_2 : real; In8_1_3 : real; In8_1_4 : real; In8_1_5 : real; In9_1_1 : bool; In9_1_2 : bool; In9_1_3 : bool; In9_1_4 : bool; In9_1_5 : bool; In9_1_6 : bool; In10_1_1 : bool; In10_1_2 : bool; In10_1_3 : bool; In10_1_4 : bool; In10_1_5 : bool; In10_1_6 : bool; In11_1_1 : bool; In11_1_2 : bool; In11_1_3 : bool; In11_1_4 : bool; In11_1_5 : bool; In11_1_6 : bool; In12_1_1 : bool; In12_1_2 : bool; In12_1_3 : bool; In12_1_4 : bool; In12_1_5 : bool; In12_1_6 : bool)
6
returns (Out1_1_1 : real;
7
	Out2_2_1 : real; Out2_2_2 : real; Out2_2_3 : real; Out2_2_4 : real; Out2_2_5 : real;
8
	Out3_3_1 : bool; Out3_3_2 : bool; Out3_3_3 : bool; Out3_3_4 : bool; Out3_3_5 : bool; Out3_3_6 : bool;
9
	Out4_4_1 : real; Out4_4_2 : real; Out4_4_3 : real; Out4_4_4 : real; Out4_4_5 : real;
10
	Out5_5_1 : bool; Out5_5_2 : bool; Out5_5_3 : bool; Out5_5_4 : bool; Out5_5_5 : bool; Out5_5_6 : bool;
11
	Out6_6_1 : real; Out6_6_2 : real; Out6_6_3 : real; Out6_6_4 : real; Out6_6_5 : real;
12
	Out7_7_1 : bool; Out7_7_2 : bool; Out7_7_3 : bool; Out7_7_4 : bool; Out7_7_5 : bool; Out7_7_6 : bool;
13
	Out8_8_1 : real; Out8_8_2 : real; Out8_8_3 : real; Out8_8_4 : real; Out8_8_5 : real;
14
	Out9_9_1 : bool; Out9_9_2 : bool; Out9_9_3 : bool; Out9_9_4 : bool; Out9_9_5 : bool; Out9_9_6 : bool;
15
	Out10_10_1 : bool; Out10_10_2 : bool; Out10_10_3 : bool; Out10_10_4 : bool; Out10_10_5 : bool; Out10_10_6 : bool;
16
	Out11_11_1 : bool; Out11_11_2 : bool; Out11_11_3 : bool; Out11_11_4 : bool; Out11_11_5 : bool; Out11_11_6 : bool;
17
	Out12_12_1 : real; Out12_12_2 : real; Out12_12_3 : real; Out12_12_4 : real; Out12_12_5 : real; Out12_12_6 : real;
18
	Out13_13_1 : bool; Out13_13_2 : bool; Out13_13_3 : bool; Out13_13_4 : bool; Out13_13_5 : bool; Out13_13_6 : bool); 
19
var
20
	Constant_1_1 : real; Constant_1_2 : real; Constant_1_3 : real; Constant_1_4 : real; Constant_1_5 : real; Constant_1_6 : real;
21
	Reshape_1_1 : real;
22
	Reshape1_1_1 : real; Reshape1_1_2 : real; Reshape1_1_3 : real; Reshape1_1_4 : real; Reshape1_1_5 : real;
23
	Reshape10_1_1 : bool; Reshape10_1_2 : bool; Reshape10_1_3 : bool; Reshape10_1_4 : bool; Reshape10_1_5 : bool; Reshape10_1_6 : bool;
24
	Reshape11_1_1 : real; Reshape11_1_2 : real; Reshape11_1_3 : real; Reshape11_1_4 : real; Reshape11_1_5 : real; Reshape11_1_6 : real;
25
	Reshape12_1_1 : bool; Reshape12_1_2 : bool; Reshape12_1_3 : bool; Reshape12_1_4 : bool; Reshape12_1_5 : bool; Reshape12_1_6 : bool;
26
	Reshape2_1_1 : bool; Reshape2_1_2 : bool; Reshape2_1_3 : bool; Reshape2_1_4 : bool; Reshape2_1_5 : bool; Reshape2_1_6 : bool;
27
	Reshape3_1_1 : real; Reshape3_1_2 : real; Reshape3_1_3 : real; Reshape3_1_4 : real; Reshape3_1_5 : real;
28
	Reshape4_1_1 : bool; Reshape4_1_2 : bool; Reshape4_1_3 : bool; Reshape4_1_4 : bool; Reshape4_1_5 : bool; Reshape4_1_6 : bool;
29
	Reshape5_1_1 : real; Reshape5_1_2 : real; Reshape5_1_3 : real; Reshape5_1_4 : real; Reshape5_1_5 : real;
30
	Reshape6_1_1 : bool; Reshape6_1_2 : bool; Reshape6_1_3 : bool; Reshape6_1_4 : bool; Reshape6_1_5 : bool; Reshape6_1_6 : bool;
31
	Reshape7_1_1 : real; Reshape7_1_2 : real; Reshape7_1_3 : real; Reshape7_1_4 : real; Reshape7_1_5 : real;
32
	Reshape8_1_1 : bool; Reshape8_1_2 : bool; Reshape8_1_3 : bool; Reshape8_1_4 : bool; Reshape8_1_5 : bool; Reshape8_1_6 : bool;
33
	Reshape9_1_1 : bool; Reshape9_1_2 : bool; Reshape9_1_3 : bool; Reshape9_1_4 : bool; Reshape9_1_5 : bool; Reshape9_1_6 : bool;
34
	i_virtual_local : real;
35
let 
36
	Constant_1_1 = 1.00000000;
37
	Constant_1_2 = 2.00000000;
38
	Constant_1_3 = 3.00000000;
39
	Constant_1_4 = 4.00000000;
40
	Constant_1_5 = 5.00000000;
41
	Constant_1_6 = 6.00000000;
42
	Reshape_1_1 = In1_1_1 ;
43
	Reshape1_1_1 = In2_1_1 ;
44
	Reshape1_1_2 = In2_1_2 ;
45
	Reshape1_1_3 = In2_1_3 ;
46
	Reshape1_1_4 = In2_1_4 ;
47
	Reshape1_1_5 = In2_1_5 ;
48
	Reshape10_1_1 = In11_1_1 ;
49
	Reshape10_1_2 = In11_1_4 ;
50
	Reshape10_1_3 = In11_1_2 ;
51
	Reshape10_1_4 = In11_1_5 ;
52
	Reshape10_1_5 = In11_1_3 ;
53
	Reshape10_1_6 = In11_1_6 ;
54
	Reshape11_1_1 = Constant_1_1 ;
55
	Reshape11_1_3 = Constant_1_4 ;
56
	Reshape11_1_5 = Constant_1_2 ;
57
	Reshape11_1_2 = Constant_1_5 ;
58
	Reshape11_1_4 = Constant_1_3 ;
59
	Reshape11_1_6 = Constant_1_6 ;
60
	Reshape12_1_1 = In12_1_1 ;
61
	Reshape12_1_2 = In12_1_4 ;
62
	Reshape12_1_3 = In12_1_2 ;
63
	Reshape12_1_4 = In12_1_5 ;
64
	Reshape12_1_5 = In12_1_3 ;
65
	Reshape12_1_6 = In12_1_6 ;
66
	Reshape2_1_1 = In3_1_1 ;
67
	Reshape2_1_2 = In3_1_4 ;
68
	Reshape2_1_3 = In3_1_2 ;
69
	Reshape2_1_4 = In3_1_5 ;
70
	Reshape2_1_5 = In3_1_3 ;
71
	Reshape2_1_6 = In3_1_6 ;
72
	Reshape3_1_1 = In4_1_1 ;
73
	Reshape3_1_2 = In4_1_2 ;
74
	Reshape3_1_3 = In4_1_3 ;
75
	Reshape3_1_4 = In4_1_4 ;
76
	Reshape3_1_5 = In4_1_5 ;
77
	Reshape4_1_1 = In5_1_1 ;
78
	Reshape4_1_2 = In5_1_4 ;
79
	Reshape4_1_3 = In5_1_2 ;
80
	Reshape4_1_4 = In5_1_5 ;
81
	Reshape4_1_5 = In5_1_3 ;
82
	Reshape4_1_6 = In5_1_6 ;
83
	Reshape5_1_1 = In6_1_1 ;
84
	Reshape5_1_2 = In6_1_2 ;
85
	Reshape5_1_3 = In6_1_3 ;
86
	Reshape5_1_4 = In6_1_4 ;
87
	Reshape5_1_5 = In6_1_5 ;
88
	Reshape6_1_1 = In7_1_1 ;
89
	Reshape6_1_2 = In7_1_4 ;
90
	Reshape6_1_3 = In7_1_2 ;
91
	Reshape6_1_4 = In7_1_5 ;
92
	Reshape6_1_5 = In7_1_3 ;
93
	Reshape6_1_6 = In7_1_6 ;
94
	Reshape7_1_1 = In8_1_1 ;
95
	Reshape7_1_2 = In8_1_2 ;
96
	Reshape7_1_3 = In8_1_3 ;
97
	Reshape7_1_4 = In8_1_4 ;
98
	Reshape7_1_5 = In8_1_5 ;
99
	Reshape8_1_1 = In9_1_1 ;
100
	Reshape8_1_2 = In9_1_4 ;
101
	Reshape8_1_3 = In9_1_2 ;
102
	Reshape8_1_4 = In9_1_5 ;
103
	Reshape8_1_5 = In9_1_3 ;
104
	Reshape8_1_6 = In9_1_6 ;
105
	Reshape9_1_1 = In10_1_1 ;
106
	Reshape9_1_2 = In10_1_4 ;
107
	Reshape9_1_3 = In10_1_2 ;
108
	Reshape9_1_4 = In10_1_5 ;
109
	Reshape9_1_5 = In10_1_3 ;
110
	Reshape9_1_6 = In10_1_6 ;
111
	Out1_1_1 = Reshape_1_1;
112
	Out2_2_1 = Reshape1_1_1;
113
	Out2_2_2 = Reshape1_1_2;
114
	Out2_2_3 = Reshape1_1_3;
115
	Out2_2_4 = Reshape1_1_4;
116
	Out2_2_5 = Reshape1_1_5;
117
	Out3_3_1 = Reshape2_1_1;
118
	Out3_3_2 = Reshape2_1_2;
119
	Out3_3_3 = Reshape2_1_3;
120
	Out3_3_4 = Reshape2_1_4;
121
	Out3_3_5 = Reshape2_1_5;
122
	Out3_3_6 = Reshape2_1_6;
123
	Out4_4_1 = Reshape3_1_1;
124
	Out4_4_2 = Reshape3_1_2;
125
	Out4_4_3 = Reshape3_1_3;
126
	Out4_4_4 = Reshape3_1_4;
127
	Out4_4_5 = Reshape3_1_5;
128
	Out5_5_1 = Reshape4_1_1;
129
	Out5_5_2 = Reshape4_1_2;
130
	Out5_5_3 = Reshape4_1_3;
131
	Out5_5_4 = Reshape4_1_4;
132
	Out5_5_5 = Reshape4_1_5;
133
	Out5_5_6 = Reshape4_1_6;
134
	Out6_6_1 = Reshape5_1_1;
135
	Out6_6_2 = Reshape5_1_2;
136
	Out6_6_3 = Reshape5_1_3;
137
	Out6_6_4 = Reshape5_1_4;
138
	Out6_6_5 = Reshape5_1_5;
139
	Out7_7_1 = Reshape6_1_1;
140
	Out7_7_2 = Reshape6_1_2;
141
	Out7_7_3 = Reshape6_1_3;
142
	Out7_7_4 = Reshape6_1_4;
143
	Out7_7_5 = Reshape6_1_5;
144
	Out7_7_6 = Reshape6_1_6;
145
	Out8_8_1 = Reshape7_1_1;
146
	Out8_8_2 = Reshape7_1_2;
147
	Out8_8_3 = Reshape7_1_3;
148
	Out8_8_4 = Reshape7_1_4;
149
	Out8_8_5 = Reshape7_1_5;
150
	Out9_9_1 = Reshape8_1_1;
151
	Out9_9_2 = Reshape8_1_2;
152
	Out9_9_3 = Reshape8_1_3;
153
	Out9_9_4 = Reshape8_1_4;
154
	Out9_9_5 = Reshape8_1_5;
155
	Out9_9_6 = Reshape8_1_6;
156
	Out10_10_1 = Reshape9_1_1;
157
	Out10_10_2 = Reshape9_1_2;
158
	Out10_10_3 = Reshape9_1_3;
159
	Out10_10_4 = Reshape9_1_4;
160
	Out10_10_5 = Reshape9_1_5;
161
	Out10_10_6 = Reshape9_1_6;
162
	Out11_11_1 = Reshape10_1_1;
163
	Out11_11_2 = Reshape10_1_2;
164
	Out11_11_3 = Reshape10_1_3;
165
	Out11_11_4 = Reshape10_1_4;
166
	Out11_11_5 = Reshape10_1_5;
167
	Out11_11_6 = Reshape10_1_6;
168
	Out12_12_1 = Reshape11_1_1;
169
	Out12_12_2 = Reshape11_1_2;
170
	Out12_12_3 = Reshape11_1_3;
171
	Out12_12_4 = Reshape11_1_4;
172
	Out12_12_5 = Reshape11_1_5;
173
	Out12_12_6 = Reshape11_1_6;
174
	Out13_13_1 = Reshape12_1_1;
175
	Out13_13_2 = Reshape12_1_2;
176
	Out13_13_3 = Reshape12_1_3;
177
	Out13_13_4 = Reshape12_1_4;
178
	Out13_13_5 = Reshape12_1_5;
179
	Out13_13_6 = Reshape12_1_6;
180
	i_virtual_local= 0.0 -> 1.0;
181
tel
182