Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec-tests / regression_tests / lustre_files / success / Simulink / src_many_files / DigitalClock_PP.LUSTREC_DigitalClock_PP_mpfr100_output_values @ cd1faebc

History | View | Annotate | Download (6.15 KB)

1
'Out1_1': '0.000000000000000' 
2
'Out2_1': '0.000000000000000' 
3
'Out1_1': '0.000000000000000' 
4
'Out2_1': '0.000000000000000' 
5
'Out1_1': '0.000000000000000' 
6
'Out2_1': '0.000000000000000' 
7
'Out1_1': '0.000000000000000' 
8
'Out2_1': '0.000000000000000' 
9
'Out1_1': '0.000000000000000' 
10
'Out2_1': '0.000000000000000' 
11
'Out1_1': '1.000000014901161' 
12
'Out2_1': '1.000000014901161' 
13
'Out1_1': '1.000000014901161' 
14
'Out2_1': '1.000000014901161' 
15
'Out1_1': '1.000000014901161' 
16
'Out2_1': '1.000000014901161' 
17
'Out1_1': '1.000000014901161' 
18
'Out2_1': '1.000000014901161' 
19
'Out1_1': '1.000000014901161' 
20
'Out2_1': '1.000000014901161' 
21
'Out1_1': '2.000000029802322' 
22
'Out2_1': '2.000000029802322' 
23
'Out1_1': '2.000000029802322' 
24
'Out2_1': '2.000000029802322' 
25
'Out1_1': '2.000000029802322' 
26
'Out2_1': '2.000000029802322' 
27
'Out1_1': '2.000000029802322' 
28
'Out2_1': '2.000000029802322' 
29
'Out1_1': '2.000000029802322' 
30
'Out2_1': '2.000000029802322' 
31
'Out1_1': '3.000000044703484' 
32
'Out2_1': '3.000000044703484' 
33
'Out1_1': '3.000000044703484' 
34
'Out2_1': '3.000000044703484' 
35
'Out1_1': '3.000000044703484' 
36
'Out2_1': '3.000000044703484' 
37
'Out1_1': '3.000000044703484' 
38
'Out2_1': '3.000000044703484' 
39
'Out1_1': '3.000000044703484' 
40
'Out2_1': '3.000000044703484' 
41
'Out1_1': '4.000000059604645' 
42
'Out2_1': '4.000000059604645' 
43
'Out1_1': '4.000000059604645' 
44
'Out2_1': '4.000000059604645' 
45
'Out1_1': '4.000000059604645' 
46
'Out2_1': '4.000000059604645' 
47
'Out1_1': '4.000000059604645' 
48
'Out2_1': '4.000000059604645' 
49
'Out1_1': '4.000000059604645' 
50
'Out2_1': '4.000000059604645' 
51
'Out1_1': '5.000000074505806' 
52
'Out2_1': '5.000000074505806' 
53
'Out1_1': '5.000000074505806' 
54
'Out2_1': '5.000000074505806' 
55
'Out1_1': '5.000000074505806' 
56
'Out2_1': '5.000000074505806' 
57
'Out1_1': '5.000000074505806' 
58
'Out2_1': '5.000000074505806' 
59
'Out1_1': '5.000000074505806' 
60
'Out2_1': '5.000000074505806' 
61
'Out1_1': '6.000000089406967' 
62
'Out2_1': '6.000000089406967' 
63
'Out1_1': '6.000000089406967' 
64
'Out2_1': '6.000000089406967' 
65
'Out1_1': '6.000000089406967' 
66
'Out2_1': '6.000000089406967' 
67
'Out1_1': '6.000000089406967' 
68
'Out2_1': '6.000000089406967' 
69
'Out1_1': '6.000000089406967' 
70
'Out2_1': '6.000000089406967' 
71
'Out1_1': '7.000000104308128' 
72
'Out2_1': '7.000000104308128' 
73
'Out1_1': '7.000000104308128' 
74
'Out2_1': '7.000000104308128' 
75
'Out1_1': '7.000000104308128' 
76
'Out2_1': '7.000000104308128' 
77
'Out1_1': '7.000000104308128' 
78
'Out2_1': '7.000000104308128' 
79
'Out1_1': '7.000000104308128' 
80
'Out2_1': '7.000000104308128' 
81
'Out1_1': '8.000000119209290' 
82
'Out2_1': '8.000000119209290' 
83
'Out1_1': '8.000000119209290' 
84
'Out2_1': '8.000000119209290' 
85
'Out1_1': '8.000000119209290' 
86
'Out2_1': '8.000000119209290' 
87
'Out1_1': '8.000000119209290' 
88
'Out2_1': '8.000000119209290' 
89
'Out1_1': '8.000000119209290' 
90
'Out2_1': '8.000000119209290' 
91
'Out1_1': '9.000000134110451' 
92
'Out2_1': '9.000000134110451' 
93
'Out1_1': '9.000000134110451' 
94
'Out2_1': '9.000000134110451' 
95
'Out1_1': '9.000000134110451' 
96
'Out2_1': '9.000000134110451' 
97
'Out1_1': '9.000000134110451' 
98
'Out2_1': '9.000000134110451' 
99
'Out1_1': '9.000000134110451' 
100
'Out2_1': '9.000000134110451' 
101
'Out1_1': '10.000000149011612' 
102
'Out2_1': '10.000000149011612' 
103
'Out1_1': '10.000000149011612' 
104
'Out2_1': '10.000000149011612' 
105
'Out1_1': '10.000000149011612' 
106
'Out2_1': '10.000000149011612' 
107
'Out1_1': '10.000000149011612' 
108
'Out2_1': '10.000000149011612' 
109
'Out1_1': '10.000000149011612' 
110
'Out2_1': '10.000000149011612' 
111
'Out1_1': '11.000000163912773' 
112
'Out2_1': '11.000000163912773' 
113
'Out1_1': '11.000000163912773' 
114
'Out2_1': '11.000000163912773' 
115
'Out1_1': '11.000000163912773' 
116
'Out2_1': '11.000000163912773' 
117
'Out1_1': '11.000000163912773' 
118
'Out2_1': '11.000000163912773' 
119
'Out1_1': '11.000000163912773' 
120
'Out2_1': '11.000000163912773' 
121
'Out1_1': '12.000000178813934' 
122
'Out2_1': '12.000000178813934' 
123
'Out1_1': '12.000000178813934' 
124
'Out2_1': '12.000000178813934' 
125
'Out1_1': '12.000000178813934' 
126
'Out2_1': '12.000000178813934' 
127
'Out1_1': '12.000000178813934' 
128
'Out2_1': '12.000000178813934' 
129
'Out1_1': '12.000000178813934' 
130
'Out2_1': '12.000000178813934' 
131
'Out1_1': '13.000000193715096' 
132
'Out2_1': '13.000000193715096' 
133
'Out1_1': '13.000000193715096' 
134
'Out2_1': '13.000000193715096' 
135
'Out1_1': '13.000000193715096' 
136
'Out2_1': '13.000000193715096' 
137
'Out1_1': '13.000000193715096' 
138
'Out2_1': '13.000000193715096' 
139
'Out1_1': '13.000000193715096' 
140
'Out2_1': '13.000000193715096' 
141
'Out1_1': '14.000000208616257' 
142
'Out2_1': '14.000000208616257' 
143
'Out1_1': '14.000000208616257' 
144
'Out2_1': '14.000000208616257' 
145
'Out1_1': '14.000000208616257' 
146
'Out2_1': '14.000000208616257' 
147
'Out1_1': '14.000000208616257' 
148
'Out2_1': '14.000000208616257' 
149
'Out1_1': '14.000000208616257' 
150
'Out2_1': '14.000000208616257' 
151
'Out1_1': '15.000000223517418' 
152
'Out2_1': '15.000000223517418' 
153
'Out1_1': '15.000000223517418' 
154
'Out2_1': '15.000000223517418' 
155
'Out1_1': '15.000000223517418' 
156
'Out2_1': '15.000000223517418' 
157
'Out1_1': '15.000000223517418' 
158
'Out2_1': '15.000000223517418' 
159
'Out1_1': '15.000000223517418' 
160
'Out2_1': '15.000000223517418' 
161
'Out1_1': '16.000000238418579' 
162
'Out2_1': '16.000000238418579' 
163
'Out1_1': '16.000000238418579' 
164
'Out2_1': '16.000000238418579' 
165
'Out1_1': '16.000000238418579' 
166
'Out2_1': '16.000000238418579' 
167
'Out1_1': '16.000000238418579' 
168
'Out2_1': '16.000000238418579' 
169
'Out1_1': '16.000000238418579' 
170
'Out2_1': '16.000000238418579' 
171
'Out1_1': '17.000000253319740' 
172
'Out2_1': '17.000000253319740' 
173
'Out1_1': '17.000000253319740' 
174
'Out2_1': '17.000000253319740' 
175
'Out1_1': '17.000000253319740' 
176
'Out2_1': '17.000000253319740' 
177
'Out1_1': '17.000000253319740' 
178
'Out2_1': '17.000000253319740' 
179
'Out1_1': '17.000000253319740' 
180
'Out2_1': '17.000000253319740' 
181
'Out1_1': '18.000000268220901' 
182
'Out2_1': '18.000000268220901' 
183
'Out1_1': '18.000000268220901' 
184
'Out2_1': '18.000000268220901' 
185
'Out1_1': '18.000000268220901' 
186
'Out2_1': '18.000000268220901' 
187
'Out1_1': '18.000000268220901' 
188
'Out2_1': '18.000000268220901' 
189
'Out1_1': '18.000000268220901' 
190
'Out2_1': '18.000000268220901' 
191
'Out1_1': '19.000000283122063' 
192
'Out2_1': '19.000000283122063' 
193
'Out1_1': '19.000000283122063' 
194
'Out2_1': '19.000000283122063' 
195
'Out1_1': '19.000000283122063' 
196
'Out2_1': '19.000000283122063' 
197
'Out1_1': '19.000000283122063' 
198
'Out2_1': '19.000000283122063' 
199
'Out1_1': '19.000000283122063' 
200
'Out2_1': '19.000000283122063'