Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

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

History | View | Annotate | Download (3.89 KB)

1
34.0000000000000000
2
1.0000000000000000
3
60.0000000000000000
4
1.0000000000000000
5
91.0000000000000000
6
-1.0000000000000000
7
71.0000000000000000
8
-1.0000000000000000
9
38.0000000000000000
10
1.0000000000000000
11
74.0000000000000000
12
-1.0000000000000000
13
96.0000000000000000
14
-1.0000000000000000
15
55.0000000000000000
16
1.0000000000000000
17
55.0000000000000000
18
-1.0000000000000000
19
32.0000000000000000
20
-1.0000000000000000
21
8.0000000000000000
22
1.0000000000000000
23
19.0000000000000000
24
-1.0000000000000000
25
10.0000000000000000
26
-1.0000000000000000
27
47.0000000000000000
28
1.0000000000000000
29
1.0000000000000000
30
1.0000000000000000
31
92.0000000000000000
32
-1.0000000000000000
33
65.0000000000000000
34
1.0000000000000000
35
1.0000000000000000
36
1.0000000000000000
37
4.0000000000000000
38
-1.0000000000000000
39
21.0000000000000000
40
1.0000000000000000
41
46.0000000000000000
42
1.0000000000000000
43
13.0000000000000000
44
-1.0000000000000000
45
1.0000000000000000
46
1.0000000000000000
47
73.0000000000000000
48
1.0000000000000000
49
36.0000000000000000
50
-1.0000000000000000
51
79.0000000000000000
52
-1.0000000000000000
53
44.0000000000000000
54
1.0000000000000000
55
44.0000000000000000
56
-1.0000000000000000
57
5.0000000000000000
58
-1.0000000000000000
59
5.0000000000000000
60
1.0000000000000000
61
10.0000000000000000
62
-1.0000000000000000
63
60.0000000000000000
64
-1.0000000000000000
65
25.0000000000000000
66
1.0000000000000000
67
85.0000000000000000
68
-1.0000000000000000
69
86.0000000000000000
70
-1.0000000000000000
71
97.0000000000000000
72
1.0000000000000000
73
49.0000000000000000
74
1.0000000000000000
75
23.0000000000000000
76
-1.0000000000000000
77
23.0000000000000000
78
1.0000000000000000
79
54.0000000000000000
80
1.0000000000000000
81
77.0000000000000000
82
-1.0000000000000000
83
35.0000000000000000
84
1.0000000000000000
85
47.0000000000000000
86
1.0000000000000000
87
64.0000000000000000
88
-1.0000000000000000
89
92.0000000000000000
90
1.0000000000000000
91
17.0000000000000000
92
1.0000000000000000
93
72.0000000000000000
94
-1.0000000000000000
95
58.0000000000000000
96
-1.0000000000000000
97
44.0000000000000000
98
1.0000000000000000
99
89.0000000000000000
100
-1.0000000000000000
101
40.0000000000000000
102
-1.0000000000000000
103
18.0000000000000000
104
1.0000000000000000
105
64.0000000000000000
106
-1.0000000000000000
107
63.0000000000000000
108
-1.0000000000000000
109
33.0000000000000000
110
1.0000000000000000
111
81.0000000000000000
112
-1.0000000000000000
113
100.0000000000000000
114
-1.0000000000000000
115
99.0000000000000000
116
1.0000000000000000
117
13.0000000000000000
118
1.0000000000000000
119
24.0000000000000000
120
-1.0000000000000000
121
3.0000000000000000
122
1.0000000000000000
123
61.0000000000000000
124
1.0000000000000000
125
12.0000000000000000
126
-1.0000000000000000
127
41.0000000000000000
128
1.0000000000000000
129
89.0000000000000000
130
1.0000000000000000
131
55.0000000000000000
132
-1.0000000000000000
133
37.0000000000000000
134
1.0000000000000000
135
21.0000000000000000
136
1.0000000000000000
137
45.0000000000000000
138
-1.0000000000000000
139
96.0000000000000000
140
-1.0000000000000000
141
13.0000000000000000
142
1.0000000000000000
143
48.0000000000000000
144
-1.0000000000000000
145
86.0000000000000000
146
-1.0000000000000000
147
5.0000000000000000
148
1.0000000000000000
149
70.0000000000000000
150
-1.0000000000000000
151
98.0000000000000000
152
-1.0000000000000000
153
29.0000000000000000
154
1.0000000000000000
155
14.0000000000000000
156
-1.0000000000000000
157
69.0000000000000000
158
-1.0000000000000000
159
91.0000000000000000
160
1.0000000000000000
161
62.0000000000000000
162
1.0000000000000000
163
90.0000000000000000
164
-1.0000000000000000
165
20.0000000000000000
166
1.0000000000000000
167
76.0000000000000000
168
1.0000000000000000
169
35.0000000000000000
170
-1.0000000000000000
171
42.0000000000000000
172
1.0000000000000000
173
16.0000000000000000
174
1.0000000000000000
175
82.0000000000000000
176
-1.0000000000000000
177
63.0000000000000000
178
1.0000000000000000
179
74.0000000000000000
180
1.0000000000000000
181
81.0000000000000000
182
-1.0000000000000000
183
7.0000000000000000
184
-1.0000000000000000
185
96.0000000000000000
186
1.0000000000000000
187
50.0000000000000000
188
-1.0000000000000000
189
76.0000000000000000
190
-1.0000000000000000
191
75.0000000000000000
192
1.0000000000000000
193
84.0000000000000000
194
-1.0000000000000000
195
16.0000000000000000
196
-1.0000000000000000
197
46.0000000000000000
198
1.0000000000000000
199
62.0000000000000000
200
-1.0000000000000000
201
94.0000000000000000
202
-1.0000000000000000