Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

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

History | View | Annotate | Download (3.89 KB)

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