Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec-tests / regression_tests / lustre_files / success / Simulink / src_many_files / DigitalClock_PP_DigitalClock_PP_input_values @ cd1faebc

History | View | Annotate | Download (1.78 KB)

1 4748b215 hbourbou
68.03879839505296
2
20.96609785738045
3
50.573506663938886
4
89.32237877477655
5
97.12295910011662
6
48.92465840184932
7
77.75519608394393
8
41.67865293242248
9
41.646176680463945
10
76.40302528534389
11
83.73101328784121
12
16.69386849189003
13
45.5251309492938
14
78.50041617656338
15
18.267719145190085
16
13.441131456561173
17
16.02899138310201
18
92.63936504720157
19
55.376229663768804
20
66.46458578562061
21
95.2241179696405
22
62.42311461054438
23
67.02896220762986
24
46.25859502381488
25
30.76156584387749
26
30.116389108739106
27
78.16122400798436
28
81.7299861569874
29
31.496331570102964
30
5.645650176898354
31
46.11155860998721
32
12.471098861016582
33
68.91545703580462
34
16.284499018828836
35
65.95674423956733
36
50.253431734498946
37
51.46549928117719
38
33.08439205795325
39
2.1228736212467347
40
66.35872333962666
41
55.60805949426296
42
77.63038292559062
43
86.20484167632826
44
24.19628435609851
45
44.79542630571199
46
35.84615982473595
47
1.1021787460681498
48
45.112512025484065
49
45.54657873182324
50
44.34210071200949
51
92.38013475653295
52
29.380462364312653
53
78.41719410961187
54
69.19471441652104
55
9.190534775499382
56
54.06444078754863
57
60.89546612807324
58
67.06524013822428
59
79.13783541738502
60
34.7866040949499
61
9.118897169836227
62
4.209845889285524
63
64.15150043973638
64
69.37954325085236
65
65.79549408414287
66
10.2032499973274
67
27.72667007444053
68
77.99094117908948
69
72.82605513240787
70
60.09225502325718
71
67.82080177360056
72
16.41332123163818
73
88.86254927626123
74
11.215113288457735
75
34.24482453842551
76
67.24402836399706
77
24.40083353532394
78
69.06726829996533
79
54.563064895378844
80
6.937564694845744
81
29.99429076054797
82
20.363428416065656
83
38.31701724648222
84
5.894433717765768
85
26.788172351120775
86
50.84059302473658
87
15.813783817541927
88
43.437704656516786
89
12.81279919214593
90
60.36607855546755
91
94.77085622134675
92
9.860524747448252
93
13.336978600785931
94
98.55917371172774
95
85.78458650190879
96
23.684821336105077
97
69.07133336351669
98
70.40457880025264
99
55.89058339042586
100
13.853493783555459