Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec-tests / regression_tests / lustre_files / success / Simulink / src_constant_test / constant_test_constant_test_input_values @ 0c9457a0

History | View | Annotate | Download (4.52 KB)

1
79.31869673879159
2
85
3
1
4
15.396191115044166
5
9
6
0
7
46.820678513243294
8
43
9
0
10
17.883627156956305
11
73
12
0
13
0.7462072761961536
14
51
15
0
16
54.484315661572424
17
75
18
1
19
41.82718924441027
20
25
21
0
22
23.47317673684405
23
94
24
0
25
54.95997991708252
26
51
27
1
28
78.03180469303388
29
75
30
1
31
28.1611956379057
32
55
33
0
34
62.29033887826526
35
6
36
0
37
49.95913111970255
38
8
39
1
40
9.851905490236856
41
88
42
1
43
19.550007258437386
44
25
45
0
46
75.11513956543001
47
23
48
0
49
39.302196095545526
50
27
51
0
52
42.02677636516039
53
1
54
1
55
97.57043928083831
56
59
57
1
58
82.33765906662892
59
91
60
1
61
91.2860031113309
62
34
63
1
64
16.00194023192232
65
75
66
0
67
82.41764651025375
68
98
69
0
70
60.05065366057204
71
74
72
1
73
30.15211683735053
74
47
75
1
76
39.08723520447182
77
78
78
1
79
91.52186017410109
80
79
81
0
82
70.4939863684938
83
24
84
1
85
37.21151418832047
86
0
87
1
88
30.50487919417002
89
71
90
0
91
86.40363821910549
92
50
93
1
94
53.491489066858236
95
67
96
1
97
24.778087930089942
98
2
99
1
100
16.125286714577115
101
87
102
0
103
33.15828641284146
104
39
105
1
106
10.520883198376795
107
22
108
0
109
20.801619891683686
110
80
111
1
112
16.031254121551186
113
53
114
1
115
26.96003043570322
116
24
117
1
118
38.057383691346935
119
83
120
0
121
27.090827251663995
122
36
123
0
124
94.05113286952572
125
27
126
0
127
55.97661041883713
128
75
129
1
130
91.83160361926905
131
57
132
0
133
39.01714385485634
134
29
135
0
136
63.40161967805825
137
84
138
1
139
5.084887799713544
140
47
141
0
142
88.64239091627252
143
41
144
1
145
39.58982289208938
146
68
147
1
148
67.58080479620068
149
30
150
0
151
24.778108383723442
152
40
153
0
154
77.36523181664379
155
96
156
0
157
5.793005762658021
158
31
159
1
160
80.65208118175158
161
57
162
0
163
15.655433090160752
164
41
165
1
166
35.79682476683905
167
94
168
0
169
90.07538145012126
170
28
171
0
172
96.05953715648972
173
58
174
0
175
3.8843825061501636
176
72
177
1
178
74.97646171344859
179
96
180
1
181
64.88305962445979
182
93
183
0
184
98.1154897436873
185
20
186
1
187
8.026789590545446
188
69
189
1
190
57.62485106287579
191
46
192
0
193
43.126279566030924
194
11
195
0
196
35.30074325104109
197
0
198
1
199
22.618925277810142
200
8
201
1
202
62.34098419846924
203
48
204
1
205
12.470578869403859
206
17
207
0
208
39.518232540494324
209
44
210
1
211
68.89636822710551
212
34
213
1
214
50.19769251685774
215
72
216
1
217
46.34305519838381
218
17
219
0
220
60.44064225360991
221
19
222
1
223
88.05431699421024
224
40
225
0
226
15.37651102532972
227
85
228
0
229
79.54434132501758
230
98
231
0
232
9.092666649374292
233
13
234
0
235
77.43387638341973
236
58
237
1
238
26.482463424510726
239
20
240
1
241
61.35691405790224
242
82
243
0
244
29.80849163733772
245
97
246
1
247
95.02504233408166
248
97
249
1
250
90.17941973590878
251
42
252
1
253
24.040369958576324
254
68
255
0
256
44.705168878376625
257
24
258
0
259
82.67693274513462
260
8
261
0
262
93.78662277213007
263
27
264
1
265
29.604277275444623
266
14
267
1
268
39.812453850229254
269
78
270
0
271
83.40592973272003
272
1
273
1
274
8.477026313696046
275
12
276
1
277
82.74926754139607
278
11
279
1
280
86.99980531723841
281
45
282
0
283
53.19233958382078
284
4
285
0
286
59.71806438706424
287
49
288
1
289
22.866927835792026
290
73
291
0
292
20.841083083723422
293
71
294
1
295
92.65621578442916
296
1
297
1
298
96.59547737144852
299
71
300
1
301
32.989193664829756
302
23
303
1
304
14.557648175937988
305
27
306
0
307
49.00294915002349
308
62
309
0
310
16.660819544447534
311
53
312
1
313
28.577804206015745
314
87
315
0
316
24.18044331022934
317
23
318
1
319
63.629250320288044
320
78
321
0
322
27.943270068786585
323
46
324
1
325
14.044471441980432
326
92
327
0
328
95.0716885019555
329
3
330
1
331
65.78017856474615
332
50
333
1
334
54.76639065663345
335
44
336
0
337
19.892409120929443
338
32
339
0
340
49.94684045329213
341
27
342
1
343
37.647799692931386
344
90
345
1
346
19.010407955367768
347
53
348
0
349
58.36979632798275
350
70
351
0
352
2.5373961852470206
353
8
354
0
355
1.302133721289167
356
0
357
0
358
53.460713810154346
359
89
360
0
361
60.52585215207736
362
32
363
0
364
66.03520072788493
365
47
366
0
367
2.8449981872339047
368
83
369
1
370
28.883150271329285
371
13
372
1
373
82.56009995797528
374
29
375
1
376
50.458887762854644
377
55
378
0
379
94.17736827447649
380
31
381
0
382
1.466734503988265
383
77
384
1
385
94.35549849311032
386
27
387
1
388
68.08304225170498
389
18
390
1
391
37.77090657870508
392
23
393
0
394
12.274431445979051
395
61
396
0
397
88.0860131234091
398
37
399
0
400
91.07074151123025
401
35
402
1
403
84.83425313035384
404
61
405
1
406
95.34262415628113
407
31
408
0
409
69.7892723903234
410
81
411
0
412
30.450100277176585
413
16
414
0
415
2.264717327671295
416
31
417
1
418
76.06986660317482
419
14
420
1
421
21.794965884653582
422
90
423
1
424
30.575414377730713
425
49
426
1
427
48.77600039478415
428
2
429
1
430
66.53560236179537
431
96
432
0
433
48.89954890818806
434
22
435
0
436
98.21356953631594
437
14
438
0
439
25.59256096070406
440
8
441
0
442
89.38940044286173
443
44
444
0
445
46.17792109460931
446
49
447
1
448
10.396297259129883
449
40
450
1
451
52.10127100042444
452
84
453
1
454
86.95140736839465
455
39
456
1
457
51.322701830162075
458
98
459
1
460
70.1789525225872
461
40
462
0
463
41.85095163725512
464
69
465
1
466
97.16457938220098
467
58
468
1
469
69.40170780571523
470
36
471
1
472
4.4463840402312655
473
49
474
0
475
79.29045020364505
476
44
477
0
478
3.0393678339066366
479
73
480
1
481
82.92426671658397
482
66
483
0
484
22.906566608871536
485
85
486
0
487
22.635860725627698
488
33
489
1
490
87.23144621123114
491
77
492
1
493
85.10700596935627
494
92
495
1
496
82.4125894103101
497
68
498
0
499
83.2575142104109
500
86
501
0
502
48.39311982178952
503
98
504
1
505
99.22971688447784
506
24
507
0
508
25.753651141963097
509
6
510
0
511
56.97739231125157
512
2
513
1
514
60.93905651800452
515
72
516
0
517
71.97193995936192
518
41
519
1
520
89.05566255826278
521
7
522
1
523
7.667534869782711
524
82
525
0
526
84.86693103764118
527
97
528
0
529
53.62088285664899
530
49
531
0
532
96.93210357085566
533
34
534
0
535
28.540123967197417
536
10
537
1
538
57.273635509649644
539
8
540
0
541
3.0413069966280792
542
4
543
0
544
89.52574070488895
545
93
546
0
547
31.519820199863847
548
60
549
0
550
22.207668814395976
551
14
552
1
553
80.29798920303828
554
77
555
0
556
50.58184684399434
557
25
558
0
559
40.08902859536928
560
51
561
0
562
80.49833574128306
563
96
564
1
565
14.82141886817816
566
83
567
0
568
30.693529806319386
569
40
570
0
571
85.99665870869634
572
0
573
1
574
66.20237235813184
575
50
576
1
577
62.00730653916106
578
69
579
0
580
84.85981838973784
581
13
582
0
583
35.2210570595878
584
32
585
0
586
81.30863822107952
587
85
588
1
589
86.14058003746348
590
3
591
0
592
68.49710572306718
593
16
594
0
595
93.57770401795092
596
91
597
0
598
45.3414732129135
599
4
600
1