lustrec-tests/regression_tests/lustre_files/success/automata/without_properties/heater3_heater3__output_values @ af44cb25
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' |