Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec-tests / regression_tests / lustre_files / success / automata / without_properties / heater3_output_values @ 02d89bbb

History | View | Annotate | Download (3.52 KB)

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