Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec-tests / regression_tests / lustre_files / success / Simulink / src_if_test / if_test_if_test_input_values @ 0c9457a0

History | View | Annotate | Download (1.96 KB)

1 0c9457a0 bourbouh
65.6406613269337
2
1
3
17.522052542354693
4
1
5
2.6138723453591806
6
0
7
63.87214069035396
8
1
9
97.01862946317874
10
1
11
39.44248338611289
12
0
13
86.32746454878095
14
1
15
60.784220730596175
16
1
17
63.683411924825386
18
1
19
48.96713010124667
20
1
21
82.41354073036547
22
0
23
23.803163933790362
24
1
25
55.27958345770663
26
1
27
64.86429805876989
28
0
29
83.00343866631958
30
1
31
72.39575452738131
32
1
33
92.25129460832223
34
1
35
74.8393929693432
36
1
37
76.74869368304587
38
0
39
62.47702360690295
40
0
41
40.952932064247314
42
0
43
56.749336391238444
44
1
45
85.46332834869823
46
1
47
3.463924418965403
48
0
49
66.09378980583178
50
1
51
60.89127669515195
52
0
53
93.41070693517688
54
0
55
46.77443040099796
56
0
57
38.042939346149495
58
0
59
5.6653701757967685
60
0
61
0.2135341054650408
62
0
63
42.515472860435544
64
0
65
2.509646837171564
66
1
67
69.5147571699004
68
1
69
74.22313784370591
70
0
71
63.28559704730002
72
0
73
68.64252628060797
74
1
75
31.925500522409187
76
0
77
56.77015268230762
78
0
79
8.767717911479744
80
0
81
63.52067905321157
82
0
83
85.67869271939223
84
1
85
74.98984549835377
86
0
87
10.326654283507198
88
1
89
94.64292314361764
90
1
91
63.92803370781161
92
1
93
53.76637619048266
94
0
95
84.0654483558541
96
0
97
14.095266344320168
98
0
99
68.65744729767665
100
0
101
78.60321255559649
102
0
103
46.33129458014572
104
0
105
68.76783256861101
106
0
107
63.47143598972826
108
1
109
89.67113136331866
110
0
111
24.78159765021507
112
1
113
78.91355779590921
114
1
115
82.4896108738949
116
0
117
82.61803720525921
118
0
119
17.795719670084186
120
1
121
14.543312096648354
122
1
123
79.54759172811549
124
1
125
39.59048445559063
126
1
127
76.9086154786165
128
1
129
36.123536344928965
130
0
131
86.3283210375528
132
0
133
10.897384647556784
134
0
135
92.39642954896928
136
0
137
56.70910163079511
138
1
139
95.02687187456786
140
1
141
46.36169878646042
142
0
143
37.19640499663262
144
0
145
39.36902244161763
146
0
147
28.442359108336078
148
1
149
29.112537837288453
150
0
151
84.7167355905963
152
1
153
12.3466900958506
154
1
155
97.93358798697517
156
1
157
72.76299424823964
158
0
159
32.196518312939595
160
0
161
9.07782135251136
162
0
163
84.59980439129932
164
1
165
95.9299166985316
166
1
167
83.20933077662708
168
0
169
88.6439011863161
170
1
171
60.670616536936265
172
0
173
12.15048170734152
174
0
175
25.451303379723477
176
0
177
80.58015503219676
178
0
179
12.91373216854942
180
0
181
55.643626811862404
182
1
183
67.58865974323776
184
1
185
15.735329372022422
186
1
187
46.58709098374012
188
1
189
77.19691155003878
190
1
191
10.82052653954414
192
1
193
40.08465336284994
194
1
195
62.95208108244926
196
1
197
73.8130990826808
198
1
199
45.78818400694039
200
0