Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec-tests / regression_tests / lustre_files / success / Stateflow / src_Events2 / input_values @ eb639349

History | View | Annotate | Download (5.81 KB)

1
8.0000000000000000
2
1.0000000000000000
3
1.0000000000000000
4
53.0000000000000000
5
1.0000000000000000
6
1.0000000000000000
7
10.0000000000000000
8
-1.0000000000000000
9
-1.0000000000000000
10
82.0000000000000000
11
-1.0000000000000000
12
1.0000000000000000
13
82.0000000000000000
14
1.0000000000000000
15
-1.0000000000000000
16
73.0000000000000000
17
-1.0000000000000000
18
1.0000000000000000
19
15.0000000000000000
20
-1.0000000000000000
21
-1.0000000000000000
22
66.0000000000000000
23
1.0000000000000000
24
1.0000000000000000
25
52.0000000000000000
26
-1.0000000000000000
27
-1.0000000000000000
28
98.0000000000000000
29
-1.0000000000000000
30
1.0000000000000000
31
65.0000000000000000
32
1.0000000000000000
33
-1.0000000000000000
34
81.0000000000000000
35
-1.0000000000000000
36
1.0000000000000000
37
46.0000000000000000
38
-1.0000000000000000
39
-1.0000000000000000
40
44.0000000000000000
41
1.0000000000000000
42
1.0000000000000000
43
83.0000000000000000
44
1.0000000000000000
45
-1.0000000000000000
46
9.0000000000000000
47
-1.0000000000000000
48
1.0000000000000000
49
14.0000000000000000
50
1.0000000000000000
51
-1.0000000000000000
52
18.0000000000000000
53
1.0000000000000000
54
1.0000000000000000
55
40.0000000000000000
56
-1.0000000000000000
57
-1.0000000000000000
58
84.0000000000000000
59
1.0000000000000000
60
1.0000000000000000
61
81.0000000000000000
62
1.0000000000000000
63
-1.0000000000000000
64
7.0000000000000000
65
-1.0000000000000000
66
1.0000000000000000
67
40.0000000000000000
68
1.0000000000000000
69
-1.0000000000000000
70
53.0000000000000000
71
1.0000000000000000
72
-1.0000000000000000
73
42.0000000000000000
74
-1.0000000000000000
75
1.0000000000000000
76
66.0000000000000000
77
-1.0000000000000000
78
-1.0000000000000000
79
63.0000000000000000
80
1.0000000000000000
81
1.0000000000000000
82
30.0000000000000000
83
-1.0000000000000000
84
-1.0000000000000000
85
44.0000000000000000
86
-1.0000000000000000
87
1.0000000000000000
88
2.0000000000000000
89
1.0000000000000000
90
-1.0000000000000000
91
99.0000000000000000
92
-1.0000000000000000
93
1.0000000000000000
94
17.0000000000000000
95
-1.0000000000000000
96
-1.0000000000000000
97
11.0000000000000000
98
1.0000000000000000
99
1.0000000000000000
100
38.0000000000000000
101
-1.0000000000000000
102
-1.0000000000000000
103
20.0000000000000000
104
-1.0000000000000000
105
1.0000000000000000
106
49.0000000000000000
107
1.0000000000000000
108
-1.0000000000000000
109
34.0000000000000000
110
1.0000000000000000
111
1.0000000000000000
112
96.0000000000000000
113
-1.0000000000000000
114
-1.0000000000000000
115
93.0000000000000000
116
1.0000000000000000
117
1.0000000000000000
118
6.0000000000000000
119
1.0000000000000000
120
-1.0000000000000000
121
74.0000000000000000
122
-1.0000000000000000
123
1.0000000000000000
124
27.0000000000000000
125
1.0000000000000000
126
-1.0000000000000000
127
43.0000000000000000
128
1.0000000000000000
129
1.0000000000000000
130
55.0000000000000000
131
-1.0000000000000000
132
-1.0000000000000000
133
95.0000000000000000
134
1.0000000000000000
135
1.0000000000000000
136
42.0000000000000000
137
1.0000000000000000
138
1.0000000000000000
139
99.0000000000000000
140
-1.0000000000000000
141
-1.0000000000000000
142
31.0000000000000000
143
-1.0000000000000000
144
1.0000000000000000
145
71.0000000000000000
146
1.0000000000000000
147
-1.0000000000000000
148
67.0000000000000000
149
-1.0000000000000000
150
1.0000000000000000
151
54.0000000000000000
152
-1.0000000000000000
153
-1.0000000000000000
154
70.0000000000000000
155
1.0000000000000000
156
1.0000000000000000
157
67.0000000000000000
158
-1.0000000000000000
159
-1.0000000000000000
160
18.0000000000000000
161
-1.0000000000000000
162
1.0000000000000000
163
13.0000000000000000
164
1.0000000000000000
165
-1.0000000000000000
166
100.0000000000000000
167
-1.0000000000000000
168
1.0000000000000000
169
18.0000000000000000
170
-1.0000000000000000
171
-1.0000000000000000
172
4.0000000000000000
173
1.0000000000000000
174
1.0000000000000000
175
57.0000000000000000
176
1.0000000000000000
177
-1.0000000000000000
178
89.0000000000000000
179
-1.0000000000000000
180
1.0000000000000000
181
67.0000000000000000
182
1.0000000000000000
183
-1.0000000000000000
184
20.0000000000000000
185
1.0000000000000000
186
1.0000000000000000
187
37.0000000000000000
188
-1.0000000000000000
189
-1.0000000000000000
190
47.0000000000000000
191
1.0000000000000000
192
1.0000000000000000
193
99.0000000000000000
194
1.0000000000000000
195
-1.0000000000000000
196
16.0000000000000000
197
-1.0000000000000000
198
1.0000000000000000
199
86.0000000000000000
200
1.0000000000000000
201
-1.0000000000000000
202
65.0000000000000000
203
1.0000000000000000
204
-1.0000000000000000
205
38.0000000000000000
206
-1.0000000000000000
207
1.0000000000000000
208
20.0000000000000000
209
-1.0000000000000000
210
-1.0000000000000000
211
43.0000000000000000
212
1.0000000000000000
213
1.0000000000000000
214
49.0000000000000000
215
-1.0000000000000000
216
-1.0000000000000000
217
13.0000000000000000
218
-1.0000000000000000
219
1.0000000000000000
220
59.0000000000000000
221
1.0000000000000000
222
-1.0000000000000000
223
23.0000000000000000
224
-1.0000000000000000
225
1.0000000000000000
226
39.0000000000000000
227
-1.0000000000000000
228
-1.0000000000000000
229
59.0000000000000000
230
1.0000000000000000
231
1.0000000000000000
232
26.0000000000000000
233
-1.0000000000000000
234
-1.0000000000000000
235
30.0000000000000000
236
-1.0000000000000000
237
1.0000000000000000
238
62.0000000000000000
239
1.0000000000000000
240
-1.0000000000000000
241
27.0000000000000000
242
1.0000000000000000
243
1.0000000000000000
244
83.0000000000000000
245
-1.0000000000000000
246
-1.0000000000000000
247
99.0000000000000000
248
1.0000000000000000
249
1.0000000000000000
250
74.0000000000000000
251
1.0000000000000000
252
-1.0000000000000000
253
35.0000000000000000
254
-1.0000000000000000
255
1.0000000000000000
256
59.0000000000000000
257
1.0000000000000000
258
-1.0000000000000000
259
11.0000000000000000
260
1.0000000000000000
261
1.0000000000000000
262
91.0000000000000000
263
-1.0000000000000000
264
-1.0000000000000000
265
88.0000000000000000
266
1.0000000000000000
267
1.0000000000000000
268
82.0000000000000000
269
1.0000000000000000
270
1.0000000000000000
271
27.0000000000000000
272
-1.0000000000000000
273
-1.0000000000000000
274
60.0000000000000000
275
-1.0000000000000000
276
1.0000000000000000
277
3.0000000000000000
278
1.0000000000000000
279
-1.0000000000000000
280
43.0000000000000000
281
-1.0000000000000000
282
1.0000000000000000
283
32.0000000000000000
284
-1.0000000000000000
285
-1.0000000000000000
286
17.0000000000000000
287
1.0000000000000000
288
1.0000000000000000
289
18.0000000000000000
290
-1.0000000000000000
291
-1.0000000000000000
292
43.0000000000000000
293
-1.0000000000000000
294
1.0000000000000000
295
10.0000000000000000
296
1.0000000000000000
297
-1.0000000000000000
298
60.0000000000000000
299
-1.0000000000000000
300
1.0000000000000000
301
48.0000000000000000
302
-1.0000000000000000
303
-1.0000000000000000