PageRenderTime 14ms CodeModel.GetById 2ms app.highlight 7ms RepoModel.GetById 1ms app.codeStats 1ms

/src/wrappers/common/test/eiffeltest/log.ref

http://github.com/tybor/Liberty
Unknown | 938 lines | 938 code | 0 blank | 0 comment | 0 complexity | af7ddcee1c51df75b2c548f20654e15f MD5 | raw file

Large files files are truncated, but you can click here to view the full file

  1This log file was generated by "se test" version #1.0.
  2The "log.new" file must be identical to the "log.ref" file.
  3The reference file is "log.ref" and this file must be created manually.
  4If you confirm that "log.new" is correct, just overwrite "log.ref" with "log.new".
  5--------------------------------------------------------------------------------
  6Found 6 test_* file(s).
  7Found 0 bad_* file(s).
  8No subdirectory.
  9--------------------------------------------------------------------------------
 10se c -boost test_const_string.e -o test_const_string.exe
 11Running (-boost) "test_const_string.exe".
 12se clean test_const_string.e
 13Removing (-boost) "test_const_string.exe".
 14se c -flat_check -debug_check test_const_string.e -o test_const_string.exe
 15Running (-flat_check -debug_check) "test_const_string.exe".
 16se clean test_const_string.e
 17Removing (-flat_check -debug_check) "test_const_string.exe".
 18se c -no_check test_const_string.e -o test_const_string.exe
 19Running (-no_check) "test_const_string.exe".
 20se clean test_const_string.e
 21Removing (-no_check) "test_const_string.exe".
 22se c -flat_check -require_check test_const_string.e -o test_const_string.exe
 23Running (-flat_check -require_check) "test_const_string.exe".
 24se clean test_const_string.e
 25Removing (-flat_check -require_check) "test_const_string.exe".
 26se c -flat_check -ensure_check test_const_string.e -o test_const_string.exe
 27Running (-flat_check -ensure_check) "test_const_string.exe".
 28se clean test_const_string.e
 29Removing (-flat_check -ensure_check) "test_const_string.exe".
 30se c -flat_check -invariant_check test_const_string.e -o test_const_string.exe
 31Running (-flat_check -invariant_check) "test_const_string.exe".
 32se clean test_const_string.e
 33Removing (-flat_check -invariant_check) "test_const_string.exe".
 34se c -flat_check -loop_check test_const_string.e -o test_const_string.exe
 35Running (-flat_check -loop_check) "test_const_string.exe".
 36se clean test_const_string.e
 37Removing (-flat_check -loop_check) "test_const_string.exe".
 38se c -flat_check -all_check test_const_string.e -o test_const_string.exe
 39Running (-flat_check -all_check) "test_const_string.exe".
 40se clean test_const_string.e
 41Removing (-flat_check -all_check) "test_const_string.exe".
 42se c -no_gc -boost test_const_string.e -o test_const_string.exe
 43Running (-no_gc -boost) "test_const_string.exe".
 44se clean test_const_string.e
 45Removing (-no_gc -boost) "test_const_string.exe".
 46se c -no_gc -flat_check -debug_check test_const_string.e -o test_const_string.exe
 47Running (-no_gc -flat_check -debug_check) "test_const_string.exe".
 48se clean test_const_string.e
 49Removing (-no_gc -flat_check -debug_check) "test_const_string.exe".
 50se c -no_gc -no_check test_const_string.e -o test_const_string.exe
 51Running (-no_gc -no_check) "test_const_string.exe".
 52se clean test_const_string.e
 53Removing (-no_gc -no_check) "test_const_string.exe".
 54se c -no_gc -flat_check -require_check test_const_string.e -o test_const_string.exe
 55Running (-no_gc -flat_check -require_check) "test_const_string.exe".
 56se clean test_const_string.e
 57Removing (-no_gc -flat_check -require_check) "test_const_string.exe".
 58se c -no_gc -ensure_check test_const_string.e -o test_const_string.exe
 59Running (-no_gc -ensure_check) "test_const_string.exe".
 60se clean test_const_string.e
 61Removing (-no_gc -ensure_check) "test_const_string.exe".
 62se c -no_gc -flat_check -invariant_check test_const_string.e -o test_const_string.exe
 63Running (-no_gc -flat_check -invariant_check) "test_const_string.exe".
 64se clean test_const_string.e
 65Removing (-no_gc -flat_check -invariant_check) "test_const_string.exe".
 66se c -no_gc -flat_check -loop_check test_const_string.e -o test_const_string.exe
 67Running (-no_gc -flat_check -loop_check) "test_const_string.exe".
 68se clean test_const_string.e
 69Removing (-no_gc -flat_check -loop_check) "test_const_string.exe".
 70se c -no_gc -flat_check -all_check test_const_string.e -o test_const_string.exe
 71Running (-no_gc -flat_check -all_check) "test_const_string.exe".
 72se clean test_const_string.e
 73Removing (-no_gc -flat_check -all_check) "test_const_string.exe".
 74se c -debug_check test_const_string.e -o test_const_string.exe
 75Running (-debug_check) "test_const_string.exe".
 76se clean test_const_string.e
 77Removing (-debug_check) "test_const_string.exe".
 78se c -require_check test_const_string.e -o test_const_string.exe
 79Running (-require_check) "test_const_string.exe".
 80se clean test_const_string.e
 81Removing (-require_check) "test_const_string.exe".
 82se c -ensure_check test_const_string.e -o test_const_string.exe
 83Running (-ensure_check) "test_const_string.exe".
 84se clean test_const_string.e
 85Removing (-ensure_check) "test_const_string.exe".
 86se c -invariant_check test_const_string.e -o test_const_string.exe
 87Running (-invariant_check) "test_const_string.exe".
 88se clean test_const_string.e
 89Removing (-invariant_check) "test_const_string.exe".
 90se c -loop_check test_const_string.e -o test_const_string.exe
 91Running (-loop_check) "test_const_string.exe".
 92se clean test_const_string.e
 93Removing (-loop_check) "test_const_string.exe".
 94se c -all_check test_const_string.e -o test_const_string.exe
 95Running (-all_check) "test_const_string.exe".
 96se clean test_const_string.e
 97Removing (-all_check) "test_const_string.exe".
 98se c -no_gc -debug_check test_const_string.e -o test_const_string.exe
 99Running (-no_gc -debug_check) "test_const_string.exe".
100se clean test_const_string.e
101Removing (-no_gc -debug_check) "test_const_string.exe".
102se c -no_gc -require_check test_const_string.e -o test_const_string.exe
103Running (-no_gc -require_check) "test_const_string.exe".
104se clean test_const_string.e
105Removing (-no_gc -require_check) "test_const_string.exe".
106se c -no_gc -ensure_check test_const_string.e -o test_const_string.exe
107Running (-no_gc -ensure_check) "test_const_string.exe".
108se clean test_const_string.e
109Removing (-no_gc -ensure_check) "test_const_string.exe".
110se c -no_gc -invariant_check test_const_string.e -o test_const_string.exe
111Running (-no_gc -invariant_check) "test_const_string.exe".
112se clean test_const_string.e
113Removing (-no_gc -invariant_check) "test_const_string.exe".
114se c -no_gc -loop_check test_const_string.e -o test_const_string.exe
115Running (-no_gc -loop_check) "test_const_string.exe".
116se clean test_const_string.e
117Removing (-no_gc -loop_check) "test_const_string.exe".
118se c -no_gc -all_check test_const_string.e -o test_const_string.exe
119Running (-no_gc -all_check) "test_const_string.exe".
120se clean test_const_string.e
121Removing (-no_gc -all_check) "test_const_string.exe".
122Excluded command: "se c -profile -boost test_const_string.e -o test_const_string.exe".
123By excluded.lst:  "se c -profile".
124Excluded command: "se c -profile -debug_check test_const_string.e -o test_const_string.exe".
125By excluded.lst:  "se c -profile".
126Excluded command: "se c -profile -no_check test_const_string.e -o test_const_string.exe".
127By excluded.lst:  "se c -profile".
128Excluded command: "se c -profile -require_check test_const_string.e -o test_const_string.exe".
129By excluded.lst:  "se c -profile".
130Excluded command: "se c -profile -ensure_check test_const_string.e -o test_const_string.exe".
131By excluded.lst:  "se c -profile".
132Excluded command: "se c -profile -invariant_check test_const_string.e -o test_const_string.exe".
133By excluded.lst:  "se c -profile".
134Excluded command: "se c -profile -loop_check test_const_string.e -o test_const_string.exe".
135By excluded.lst:  "se c -profile".
136Excluded command: "se c -profile -all_check test_const_string.e -o test_const_string.exe".
137By excluded.lst:  "se c -profile".
138Excluded command: "se c -profile -no_gc -boost test_const_string.e -o test_const_string.exe".
139By excluded.lst:  "se c -profile".
140Excluded command: "se c -profile -no_gc -debug_check test_const_string.e -o test_const_string.exe".
141By excluded.lst:  "se c -profile".
142Excluded command: "se c -profile -no_gc -no_check test_const_string.e -o test_const_string.exe".
143By excluded.lst:  "se c -profile".
144Excluded command: "se c -profile -no_gc -require_check test_const_string.e -o test_const_string.exe".
145By excluded.lst:  "se c -profile".
146Excluded command: "se c -profile -no_gc -ensure_check test_const_string.e -o test_const_string.exe".
147By excluded.lst:  "se c -profile".
148Excluded command: "se c -profile -no_gc -invariant_check test_const_string.e -o test_const_string.exe".
149By excluded.lst:  "se c -profile".
150Excluded command: "se c -profile -no_gc -loop_check test_const_string.e -o test_const_string.exe".
151By excluded.lst:  "se c -profile".
152Excluded command: "se c -profile -no_gc -all_check test_const_string.e -o test_const_string.exe".
153By excluded.lst:  "se c -profile".
154Excluded command: "se c -profile -flat_check -debug_check test_const_string.e -o test_const_string.exe".
155By excluded.lst:  "se c -profile".
156Excluded command: "se c -profile -flat_check -require_check test_const_string.e -o test_const_string.exe".
157By excluded.lst:  "se c -profile".
158Excluded command: "se c -profile -flat_check -ensure_check test_const_string.e -o test_const_string.exe".
159By excluded.lst:  "se c -profile".
160Excluded command: "se c -profile -flat_check -invariant_check test_const_string.e -o test_const_string.exe".
161By excluded.lst:  "se c -profile".
162Excluded command: "se c -profile -flat_check -loop_check test_const_string.e -o test_const_string.exe".
163By excluded.lst:  "se c -profile".
164Excluded command: "se c -profile -flat_check -all_check test_const_string.e -o test_const_string.exe".
165By excluded.lst:  "se c -profile".
166se c -no_split -boost test_const_string.e -o test_const_string.exe
167Running (-no_split -boost) "test_const_string.exe".
168se clean test_const_string.e
169Removing (-no_split -boost) "test_const_string.exe".
170se c -no_split -no_gc -boost test_const_string.e -o test_const_string.exe
171Running (-no_split -no_gc -boost) "test_const_string.exe".
172se clean test_const_string.e
173Removing (-no_split -no_gc -boost) "test_const_string.exe".
174se c -boost test_natural.e -o test_natural.exe
175Running (-boost) "test_natural.exe".
176se clean test_natural.e
177Removing (-boost) "test_natural.exe".
178se c -flat_check -debug_check test_natural.e -o test_natural.exe
179Running (-flat_check -debug_check) "test_natural.exe".
180se clean test_natural.e
181Removing (-flat_check -debug_check) "test_natural.exe".
182se c -no_check test_natural.e -o test_natural.exe
183Running (-no_check) "test_natural.exe".
184se clean test_natural.e
185Removing (-no_check) "test_natural.exe".
186se c -flat_check -require_check test_natural.e -o test_natural.exe
187Running (-flat_check -require_check) "test_natural.exe".
188se clean test_natural.e
189Removing (-flat_check -require_check) "test_natural.exe".
190se c -flat_check -ensure_check test_natural.e -o test_natural.exe
191Running (-flat_check -ensure_check) "test_natural.exe".
192se clean test_natural.e
193Removing (-flat_check -ensure_check) "test_natural.exe".
194se c -flat_check -invariant_check test_natural.e -o test_natural.exe
195Running (-flat_check -invariant_check) "test_natural.exe".
196se clean test_natural.e
197Removing (-flat_check -invariant_check) "test_natural.exe".
198se c -flat_check -loop_check test_natural.e -o test_natural.exe
199Running (-flat_check -loop_check) "test_natural.exe".
200se clean test_natural.e
201Removing (-flat_check -loop_check) "test_natural.exe".
202se c -flat_check -all_check test_natural.e -o test_natural.exe
203Running (-flat_check -all_check) "test_natural.exe".
204se clean test_natural.e
205Removing (-flat_check -all_check) "test_natural.exe".
206se c -no_gc -boost test_natural.e -o test_natural.exe
207Running (-no_gc -boost) "test_natural.exe".
208se clean test_natural.e
209Removing (-no_gc -boost) "test_natural.exe".
210se c -no_gc -flat_check -debug_check test_natural.e -o test_natural.exe
211Running (-no_gc -flat_check -debug_check) "test_natural.exe".
212se clean test_natural.e
213Removing (-no_gc -flat_check -debug_check) "test_natural.exe".
214se c -no_gc -no_check test_natural.e -o test_natural.exe
215Running (-no_gc -no_check) "test_natural.exe".
216se clean test_natural.e
217Removing (-no_gc -no_check) "test_natural.exe".
218se c -no_gc -flat_check -require_check test_natural.e -o test_natural.exe
219Running (-no_gc -flat_check -require_check) "test_natural.exe".
220se clean test_natural.e
221Removing (-no_gc -flat_check -require_check) "test_natural.exe".
222se c -no_gc -ensure_check test_natural.e -o test_natural.exe
223Running (-no_gc -ensure_check) "test_natural.exe".
224se clean test_natural.e
225Removing (-no_gc -ensure_check) "test_natural.exe".
226se c -no_gc -flat_check -invariant_check test_natural.e -o test_natural.exe
227Running (-no_gc -flat_check -invariant_check) "test_natural.exe".
228se clean test_natural.e
229Removing (-no_gc -flat_check -invariant_check) "test_natural.exe".
230se c -no_gc -flat_check -loop_check test_natural.e -o test_natural.exe
231Running (-no_gc -flat_check -loop_check) "test_natural.exe".
232se clean test_natural.e
233Removing (-no_gc -flat_check -loop_check) "test_natural.exe".
234se c -no_gc -flat_check -all_check test_natural.e -o test_natural.exe
235Running (-no_gc -flat_check -all_check) "test_natural.exe".
236se clean test_natural.e
237Removing (-no_gc -flat_check -all_check) "test_natural.exe".
238se c -debug_check test_natural.e -o test_natural.exe
239Running (-debug_check) "test_natural.exe".
240se clean test_natural.e
241Removing (-debug_check) "test_natural.exe".
242se c -require_check test_natural.e -o test_natural.exe
243Running (-require_check) "test_natural.exe".
244se clean test_natural.e
245Removing (-require_check) "test_natural.exe".
246se c -ensure_check test_natural.e -o test_natural.exe
247Running (-ensure_check) "test_natural.exe".
248se clean test_natural.e
249Removing (-ensure_check) "test_natural.exe".
250se c -invariant_check test_natural.e -o test_natural.exe
251Running (-invariant_check) "test_natural.exe".
252se clean test_natural.e
253Removing (-invariant_check) "test_natural.exe".
254se c -loop_check test_natural.e -o test_natural.exe
255Running (-loop_check) "test_natural.exe".
256se clean test_natural.e
257Removing (-loop_check) "test_natural.exe".
258se c -all_check test_natural.e -o test_natural.exe
259Running (-all_check) "test_natural.exe".
260se clean test_natural.e
261Removing (-all_check) "test_natural.exe".
262se c -no_gc -debug_check test_natural.e -o test_natural.exe
263Running (-no_gc -debug_check) "test_natural.exe".
264se clean test_natural.e
265Removing (-no_gc -debug_check) "test_natural.exe".
266se c -no_gc -require_check test_natural.e -o test_natural.exe
267Running (-no_gc -require_check) "test_natural.exe".
268se clean test_natural.e
269Removing (-no_gc -require_check) "test_natural.exe".
270se c -no_gc -ensure_check test_natural.e -o test_natural.exe
271Running (-no_gc -ensure_check) "test_natural.exe".
272se clean test_natural.e
273Removing (-no_gc -ensure_check) "test_natural.exe".
274se c -no_gc -invariant_check test_natural.e -o test_natural.exe
275Running (-no_gc -invariant_check) "test_natural.exe".
276se clean test_natural.e
277Removing (-no_gc -invariant_check) "test_natural.exe".
278se c -no_gc -loop_check test_natural.e -o test_natural.exe
279Running (-no_gc -loop_check) "test_natural.exe".
280se clean test_natural.e
281Removing (-no_gc -loop_check) "test_natural.exe".
282se c -no_gc -all_check test_natural.e -o test_natural.exe
283Running (-no_gc -all_check) "test_natural.exe".
284se clean test_natural.e
285Removing (-no_gc -all_check) "test_natural.exe".
286Excluded command: "se c -profile -boost test_natural.e -o test_natural.exe".
287By excluded.lst:  "se c -profile".
288Excluded command: "se c -profile -debug_check test_natural.e -o test_natural.exe".
289By excluded.lst:  "se c -profile".
290Excluded command: "se c -profile -no_check test_natural.e -o test_natural.exe".
291By excluded.lst:  "se c -profile".
292Excluded command: "se c -profile -require_check test_natural.e -o test_natural.exe".
293By excluded.lst:  "se c -profile".
294Excluded command: "se c -profile -ensure_check test_natural.e -o test_natural.exe".
295By excluded.lst:  "se c -profile".
296Excluded command: "se c -profile -invariant_check test_natural.e -o test_natural.exe".
297By excluded.lst:  "se c -profile".
298Excluded command: "se c -profile -loop_check test_natural.e -o test_natural.exe".
299By excluded.lst:  "se c -profile".
300Excluded command: "se c -profile -all_check test_natural.e -o test_natural.exe".
301By excluded.lst:  "se c -profile".
302Excluded command: "se c -profile -no_gc -boost test_natural.e -o test_natural.exe".
303By excluded.lst:  "se c -profile".
304Excluded command: "se c -profile -no_gc -debug_check test_natural.e -o test_natural.exe".
305By excluded.lst:  "se c -profile".
306Excluded command: "se c -profile -no_gc -no_check test_natural.e -o test_natural.exe".
307By excluded.lst:  "se c -profile".
308Excluded command: "se c -profile -no_gc -require_check test_natural.e -o test_natural.exe".
309By excluded.lst:  "se c -profile".
310Excluded command: "se c -profile -no_gc -ensure_check test_natural.e -o test_natural.exe".
311By excluded.lst:  "se c -profile".
312Excluded command: "se c -profile -no_gc -invariant_check test_natural.e -o test_natural.exe".
313By excluded.lst:  "se c -profile".
314Excluded command: "se c -profile -no_gc -loop_check test_natural.e -o test_natural.exe".
315By excluded.lst:  "se c -profile".
316Excluded command: "se c -profile -no_gc -all_check test_natural.e -o test_natural.exe".
317By excluded.lst:  "se c -profile".
318Excluded command: "se c -profile -flat_check -debug_check test_natural.e -o test_natural.exe".
319By excluded.lst:  "se c -profile".
320Excluded command: "se c -profile -flat_check -require_check test_natural.e -o test_natural.exe".
321By excluded.lst:  "se c -profile".
322Excluded command: "se c -profile -flat_check -ensure_check test_natural.e -o test_natural.exe".
323By excluded.lst:  "se c -profile".
324Excluded command: "se c -profile -flat_check -invariant_check test_natural.e -o test_natural.exe".
325By excluded.lst:  "se c -profile".
326Excluded command: "se c -profile -flat_check -loop_check test_natural.e -o test_natural.exe".
327By excluded.lst:  "se c -profile".
328Excluded command: "se c -profile -flat_check -all_check test_natural.e -o test_natural.exe".
329By excluded.lst:  "se c -profile".
330se c -no_split -boost test_natural.e -o test_natural.exe
331Running (-no_split -boost) "test_natural.exe".
332se clean test_natural.e
333Removing (-no_split -boost) "test_natural.exe".
334se c -no_split -no_gc -boost test_natural.e -o test_natural.exe
335Running (-no_split -no_gc -boost) "test_natural.exe".
336se clean test_natural.e
337Removing (-no_split -no_gc -boost) "test_natural.exe".
338se c -boost test_natural2.e -o test_natural2.exe
339Running (-boost) "test_natural2.exe".
340se clean test_natural2.e
341Removing (-boost) "test_natural2.exe".
342se c -flat_check -debug_check test_natural2.e -o test_natural2.exe
343Running (-flat_check -debug_check) "test_natural2.exe".
344se clean test_natural2.e
345Removing (-flat_check -debug_check) "test_natural2.exe".
346se c -no_check test_natural2.e -o test_natural2.exe
347Running (-no_check) "test_natural2.exe".
348se clean test_natural2.e
349Removing (-no_check) "test_natural2.exe".
350se c -flat_check -require_check test_natural2.e -o test_natural2.exe
351Running (-flat_check -require_check) "test_natural2.exe".
352se clean test_natural2.e
353Removing (-flat_check -require_check) "test_natural2.exe".
354se c -flat_check -ensure_check test_natural2.e -o test_natural2.exe
355Running (-flat_check -ensure_check) "test_natural2.exe".
356se clean test_natural2.e
357Removing (-flat_check -ensure_check) "test_natural2.exe".
358se c -flat_check -invariant_check test_natural2.e -o test_natural2.exe
359Running (-flat_check -invariant_check) "test_natural2.exe".
360se clean test_natural2.e
361Removing (-flat_check -invariant_check) "test_natural2.exe".
362se c -flat_check -loop_check test_natural2.e -o test_natural2.exe
363Running (-flat_check -loop_check) "test_natural2.exe".
364se clean test_natural2.e
365Removing (-flat_check -loop_check) "test_natural2.exe".
366se c -flat_check -all_check test_natural2.e -o test_natural2.exe
367Running (-flat_check -all_check) "test_natural2.exe".
368se clean test_natural2.e
369Removing (-flat_check -all_check) "test_natural2.exe".
370se c -no_gc -boost test_natural2.e -o test_natural2.exe
371Running (-no_gc -boost) "test_natural2.exe".
372se clean test_natural2.e
373Removing (-no_gc -boost) "test_natural2.exe".
374se c -no_gc -flat_check -debug_check test_natural2.e -o test_natural2.exe
375Running (-no_gc -flat_check -debug_check) "test_natural2.exe".
376se clean test_natural2.e
377Removing (-no_gc -flat_check -debug_check) "test_natural2.exe".
378se c -no_gc -no_check test_natural2.e -o test_natural2.exe
379Running (-no_gc -no_check) "test_natural2.exe".
380se clean test_natural2.e
381Removing (-no_gc -no_check) "test_natural2.exe".
382se c -no_gc -flat_check -require_check test_natural2.e -o test_natural2.exe
383Running (-no_gc -flat_check -require_check) "test_natural2.exe".
384se clean test_natural2.e
385Removing (-no_gc -flat_check -require_check) "test_natural2.exe".
386se c -no_gc -ensure_check test_natural2.e -o test_natural2.exe
387Running (-no_gc -ensure_check) "test_natural2.exe".
388se clean test_natural2.e
389Removing (-no_gc -ensure_check) "test_natural2.exe".
390se c -no_gc -flat_check -invariant_check test_natural2.e -o test_natural2.exe
391Running (-no_gc -flat_check -invariant_check) "test_natural2.exe".
392se clean test_natural2.e
393Removing (-no_gc -flat_check -invariant_check) "test_natural2.exe".
394se c -no_gc -flat_check -loop_check test_natural2.e -o test_natural2.exe
395Running (-no_gc -flat_check -loop_check) "test_natural2.exe".
396se clean test_natural2.e
397Removing (-no_gc -flat_check -loop_check) "test_natural2.exe".
398se c -no_gc -flat_check -all_check test_natural2.e -o test_natural2.exe
399Running (-no_gc -flat_check -all_check) "test_natural2.exe".
400se clean test_natural2.e
401Removing (-no_gc -flat_check -all_check) "test_natural2.exe".
402se c -debug_check test_natural2.e -o test_natural2.exe
403Running (-debug_check) "test_natural2.exe".
404se clean test_natural2.e
405Removing (-debug_check) "test_natural2.exe".
406se c -require_check test_natural2.e -o test_natural2.exe
407Running (-require_check) "test_natural2.exe".
408se clean test_natural2.e
409Removing (-require_check) "test_natural2.exe".
410se c -ensure_check test_natural2.e -o test_natural2.exe
411Running (-ensure_check) "test_natural2.exe".
412se clean test_natural2.e
413Removing (-ensure_check) "test_natural2.exe".
414se c -invariant_check test_natural2.e -o test_natural2.exe
415Running (-invariant_check) "test_natural2.exe".
416se clean test_natural2.e
417Removing (-invariant_check) "test_natural2.exe".
418se c -loop_check test_natural2.e -o test_natural2.exe
419Running (-loop_check) "test_natural2.exe".
420se clean test_natural2.e
421Removing (-loop_check) "test_natural2.exe".
422se c -all_check test_natural2.e -o test_natural2.exe
423Running (-all_check) "test_natural2.exe".
424se clean test_natural2.e
425Removing (-all_check) "test_natural2.exe".
426se c -no_gc -debug_check test_natural2.e -o test_natural2.exe
427Running (-no_gc -debug_check) "test_natural2.exe".
428se clean test_natural2.e
429Removing (-no_gc -debug_check) "test_natural2.exe".
430se c -no_gc -require_check test_natural2.e -o test_natural2.exe
431Running (-no_gc -require_check) "test_natural2.exe".
432se clean test_natural2.e
433Removing (-no_gc -require_check) "test_natural2.exe".
434se c -no_gc -ensure_check test_natural2.e -o test_natural2.exe
435Running (-no_gc -ensure_check) "test_natural2.exe".
436se clean test_natural2.e
437Removing (-no_gc -ensure_check) "test_natural2.exe".
438se c -no_gc -invariant_check test_natural2.e -o test_natural2.exe
439Running (-no_gc -invariant_check) "test_natural2.exe".
440se clean test_natural2.e
441Removing (-no_gc -invariant_check) "test_natural2.exe".
442se c -no_gc -loop_check test_natural2.e -o test_natural2.exe
443Running (-no_gc -loop_check) "test_natural2.exe".
444se clean test_natural2.e
445Removing (-no_gc -loop_check) "test_natural2.exe".
446se c -no_gc -all_check test_natural2.e -o test_natural2.exe
447Running (-no_gc -all_check) "test_natural2.exe".
448se clean test_natural2.e
449Removing (-no_gc -all_check) "test_natural2.exe".
450Excluded command: "se c -profile -boost test_natural2.e -o test_natural2.exe".
451By excluded.lst:  "se c -profile".
452Excluded command: "se c -profile -debug_check test_natural2.e -o test_natural2.exe".
453By excluded.lst:  "se c -profile".
454Excluded command: "se c -profile -no_check test_natural2.e -o test_natural2.exe".
455By excluded.lst:  "se c -profile".
456Excluded command: "se c -profile -require_check test_natural2.e -o test_natural2.exe".
457By excluded.lst:  "se c -profile".
458Excluded command: "se c -profile -ensure_check test_natural2.e -o test_natural2.exe".
459By excluded.lst:  "se c -profile".
460Excluded command: "se c -profile -invariant_check test_natural2.e -o test_natural2.exe".
461By excluded.lst:  "se c -profile".
462Excluded command: "se c -profile -loop_check test_natural2.e -o test_natural2.exe".
463By excluded.lst:  "se c -profile".
464Excluded command: "se c -profile -all_check test_natural2.e -o test_natural2.exe".
465By excluded.lst:  "se c -profile".
466Excluded command: "se c -profile -no_gc -boost test_natural2.e -o test_natural2.exe".
467By excluded.lst:  "se c -profile".
468Excluded command: "se c -profile -no_gc -debug_check test_natural2.e -o test_natural2.exe".
469By excluded.lst:  "se c -profile".
470Excluded command: "se c -profile -no_gc -no_check test_natural2.e -o test_natural2.exe".
471By excluded.lst:  "se c -profile".
472Excluded command: "se c -profile -no_gc -require_check test_natural2.e -o test_natural2.exe".
473By excluded.lst:  "se c -profile".
474Excluded command: "se c -profile -no_gc -ensure_check test_natural2.e -o test_natural2.exe".
475By excluded.lst:  "se c -profile".
476Excluded command: "se c -profile -no_gc -invariant_check test_natural2.e -o test_natural2.exe".
477By excluded.lst:  "se c -profile".
478Excluded command: "se c -profile -no_gc -loop_check test_natural2.e -o test_natural2.exe".
479By excluded.lst:  "se c -profile".
480Excluded command: "se c -profile -no_gc -all_check test_natural2.e -o test_natural2.exe".
481By excluded.lst:  "se c -profile".
482Excluded command: "se c -profile -flat_check -debug_check test_natural2.e -o test_natural2.exe".
483By excluded.lst:  "se c -profile".
484Excluded command: "se c -profile -flat_check -require_check test_natural2.e -o test_natural2.exe".
485By excluded.lst:  "se c -profile".
486Excluded command: "se c -profile -flat_check -ensure_check test_natural2.e -o test_natural2.exe".
487By excluded.lst:  "se c -profile".
488Excluded command: "se c -profile -flat_check -invariant_check test_natural2.e -o test_natural2.exe".
489By excluded.lst:  "se c -profile".
490Excluded command: "se c -profile -flat_check -loop_check test_natural2.e -o test_natural2.exe".
491By excluded.lst:  "se c -profile".
492Excluded command: "se c -profile -flat_check -all_check test_natural2.e -o test_natural2.exe".
493By excluded.lst:  "se c -profile".
494se c -no_split -boost test_natural2.e -o test_natural2.exe
495Running (-no_split -boost) "test_natural2.exe".
496se clean test_natural2.e
497Removing (-no_split -boost) "test_natural2.exe".
498se c -no_split -no_gc -boost test_natural2.e -o test_natural2.exe
499Running (-no_split -no_gc -boost) "test_natural2.exe".
500se clean test_natural2.e
501Removing (-no_split -no_gc -boost) "test_natural2.exe".
502se c -boost test_natural3.e -o test_natural3.exe
503Running (-boost) "test_natural3.exe".
504se clean test_natural3.e
505Removing (-boost) "test_natural3.exe".
506se c -flat_check -debug_check test_natural3.e -o test_natural3.exe
507Running (-flat_check -debug_check) "test_natural3.exe".
508se clean test_natural3.e
509Removing (-flat_check -debug_check) "test_natural3.exe".
510se c -no_check test_natural3.e -o test_natural3.exe
511Running (-no_check) "test_natural3.exe".
512se clean test_natural3.e
513Removing (-no_check) "test_natural3.exe".
514se c -flat_check -require_check test_natural3.e -o test_natural3.exe
515Running (-flat_check -require_check) "test_natural3.exe".
516se clean test_natural3.e
517Removing (-flat_check -require_check) "test_natural3.exe".
518se c -flat_check -ensure_check test_natural3.e -o test_natural3.exe
519Running (-flat_check -ensure_check) "test_natural3.exe".
520se clean test_natural3.e
521Removing (-flat_check -ensure_check) "test_natural3.exe".
522se c -flat_check -invariant_check test_natural3.e -o test_natural3.exe
523Running (-flat_check -invariant_check) "test_natural3.exe".
524se clean test_natural3.e
525Removing (-flat_check -invariant_check) "test_natural3.exe".
526se c -flat_check -loop_check test_natural3.e -o test_natural3.exe
527Running (-flat_check -loop_check) "test_natural3.exe".
528se clean test_natural3.e
529Removing (-flat_check -loop_check) "test_natural3.exe".
530se c -flat_check -all_check test_natural3.e -o test_natural3.exe
531Running (-flat_check -all_check) "test_natural3.exe".
532se clean test_natural3.e
533Removing (-flat_check -all_check) "test_natural3.exe".
534se c -no_gc -boost test_natural3.e -o test_natural3.exe
535Running (-no_gc -boost) "test_natural3.exe".
536se clean test_natural3.e
537Removing (-no_gc -boost) "test_natural3.exe".
538se c -no_gc -flat_check -debug_check test_natural3.e -o test_natural3.exe
539Running (-no_gc -flat_check -debug_check) "test_natural3.exe".
540se clean test_natural3.e
541Removing (-no_gc -flat_check -debug_check) "test_natural3.exe".
542se c -no_gc -no_check test_natural3.e -o test_natural3.exe
543Running (-no_gc -no_check) "test_natural3.exe".
544se clean test_natural3.e
545Removing (-no_gc -no_check) "test_natural3.exe".
546se c -no_gc -flat_check -require_check test_natural3.e -o test_natural3.exe
547Running (-no_gc -flat_check -require_check) "test_natural3.exe".
548se clean test_natural3.e
549Removing (-no_gc -flat_check -require_check) "test_natural3.exe".
550se c -no_gc -ensure_check test_natural3.e -o test_natural3.exe
551Running (-no_gc -ensure_check) "test_natural3.exe".
552se clean test_natural3.e
553Removing (-no_gc -ensure_check) "test_natural3.exe".
554se c -no_gc -flat_check -invariant_check test_natural3.e -o test_natural3.exe
555Running (-no_gc -flat_check -invariant_check) "test_natural3.exe".
556se clean test_natural3.e
557Removing (-no_gc -flat_check -invariant_check) "test_natural3.exe".
558se c -no_gc -flat_check -loop_check test_natural3.e -o test_natural3.exe
559Running (-no_gc -flat_check -loop_check) "test_natural3.exe".
560se clean test_natural3.e
561Removing (-no_gc -flat_check -loop_check) "test_natural3.exe".
562se c -no_gc -flat_check -all_check test_natural3.e -o test_natural3.exe
563Running (-no_gc -flat_check -all_check) "test_natural3.exe".
564se clean test_natural3.e
565Removing (-no_gc -flat_check -all_check) "test_natural3.exe".
566se c -debug_check test_natural3.e -o test_natural3.exe
567Running (-debug_check) "test_natural3.exe".
568se clean test_natural3.e
569Removing (-debug_check) "test_natural3.exe".
570se c -require_check test_natural3.e -o test_natural3.exe
571Running (-require_check) "test_natural3.exe".
572se clean test_natural3.e
573Removing (-require_check) "test_natural3.exe".
574se c -ensure_check test_natural3.e -o test_natural3.exe
575Running (-ensure_check) "test_natural3.exe".
576se clean test_natural3.e
577Removing (-ensure_check) "test_natural3.exe".
578se c -invariant_check test_natural3.e -o test_natural3.exe
579Running (-invariant_check) "test_natural3.exe".
580se clean test_natural3.e
581Removing (-invariant_check) "test_natural3.exe".
582se c -loop_check test_natural3.e -o test_natural3.exe
583Running (-loop_check) "test_natural3.exe".
584se clean test_natural3.e
585Removing (-loop_check) "test_natural3.exe".
586se c -all_check test_natural3.e -o test_natural3.exe
587Running (-all_check) "test_natural3.exe".
588se clean test_natural3.e
589Removing (-all_check) "test_natural3.exe".
590se c -no_gc -debug_check test_natural3.e -o test_natural3.exe
591Running (-no_gc -debug_check) "test_natural3.exe".
592se clean test_natural3.e
593Removing (-no_gc -debug_check) "test_natural3.exe".
594se c -no_gc -require_check test_natural3.e -o test_natural3.exe
595Running (-no_gc -require_check) "test_natural3.exe".
596se clean test_natural3.e
597Removing (-no_gc -require_check) "test_natural3.exe".
598se c -no_gc -ensure_check test_natural3.e -o test_natural3.exe
599Running (-no_gc -ensure_check) "test_natural3.exe".
600se clean test_natural3.e
601Removing (-no_gc -ensure_check) "test_natural3.exe".
602se c -no_gc -invariant_check test_natural3.e -o test_natural3.exe
603Running (-no_gc -invariant_check) "test_natural3.exe".
604se clean test_natural3.e
605Removing (-no_gc -invariant_check) "test_natural3.exe".
606se c -no_gc -loop_check test_natural3.e -o test_natural3.exe
607Running (-no_gc -loop_check) "test_natural3.exe".
608se clean test_natural3.e
609Removing (-no_gc -loop_check) "test_natural3.exe".
610se c -no_gc -all_check test_natural3.e -o test_natural3.exe
611Running (-no_gc -all_check) "test_natural3.exe".
612se clean test_natural3.e
613Removing (-no_gc -all_check) "test_natural3.exe".
614Excluded command: "se c -profile -boost test_natural3.e -o test_natural3.exe".
615By excluded.lst:  "se c -profile".
616Excluded command: "se c -profile -debug_check test_natural3.e -o test_natural3.exe".
617By excluded.lst:  "se c -profile".
618Excluded command: "se c -profile -no_check test_natural3.e -o test_natural3.exe".
619By excluded.lst:  "se c -profile".
620Excluded command: "se c -profile -require_check test_natural3.e -o test_natural3.exe".
621By excluded.lst:  "se c -profile".
622Excluded command: "se c -profile -ensure_check test_natural3.e -o test_natural3.exe".
623By excluded.lst:  "se c -profile".
624Excluded command: "se c -profile -invariant_check test_natural3.e -o test_natural3.exe".
625By excluded.lst:  "se c -profile".
626Excluded command: "se c -profile -loop_check test_natural3.e -o test_natural3.exe".
627By excluded.lst:  "se c -profile".
628Excluded command: "se c -profile -all_check test_natural3.e -o test_natural3.exe".
629By excluded.lst:  "se c -profile".
630Excluded command: "se c -profile -no_gc -boost test_natural3.e -o test_natural3.exe".
631By excluded.lst:  "se c -profile".
632Excluded command: "se c -profile -no_gc -debug_check test_natural3.e -o test_natural3.exe".
633By excluded.lst:  "se c -profile".
634Excluded command: "se c -profile -no_gc -no_check test_natural3.e -o test_natural3.exe".
635By excluded.lst:  "se c -profile".
636Excluded command: "se c -profile -no_gc -require_check test_natural3.e -o test_natural3.exe".
637By excluded.lst:  "se c -profile".
638Excluded command: "se c -profile -no_gc -ensure_check test_natural3.e -o test_natural3.exe".
639By excluded.lst:  "se c -profile".
640Excluded command: "se c -profile -no_gc -invariant_check test_natural3.e -o test_natural3.exe".
641By excluded.lst:  "se c -profile".
642Excluded command: "se c -profile -no_gc -loop_check test_natural3.e -o test_natural3.exe".
643By excluded.lst:  "se c -profile".
644Excluded command: "se c -profile -no_gc -all_check test_natural3.e -o test_natural3.exe".
645By excluded.lst:  "se c -profile".
646Excluded command: "se c -profile -flat_check -debug_check test_natural3.e -o test_natural3.exe".
647By excluded.lst:  "se c -profile".
648Excluded command: "se c -profile -flat_check -require_check test_natural3.e -o test_natural3.exe".
649By excluded.lst:  "se c -profile".
650Excluded command: "se c -profile -flat_check -ensure_check test_natural3.e -o test_natural3.exe".
651By excluded.lst:  "se c -profile".
652Excluded command: "se c -profile -flat_check -invariant_check test_natural3.e -o test_natural3.exe".
653By excluded.lst:  "se c -profile".
654Excluded command: "se c -profile -flat_check -loop_check test_natural3.e -o test_natural3.exe".
655By excluded.lst:  "se c -profile".
656Excluded command: "se c -profile -flat_check -all_check test_natural3.e -o test_natural3.exe".
657By excluded.lst:  "se c -profile".
658se c -no_split -boost test_natural3.e -o test_natural3.exe
659Running (-no_split -boost) "test_natural3.exe".
660se clean test_natural3.e
661Removing (-no_split -boost) "test_natural3.exe".
662se c -no_split -no_gc -boost test_natural3.e -o test_natural3.exe
663Running (-no_split -no_gc -boost) "test_natural3.exe".
664se clean test_natural3.e
665Removing (-no_split -no_gc -boost) "test_natural3.exe".
666se c -boost test_natural4.e -o test_natural4.exe
667Abnormal exit status of "se c -boost test_natural4.e -o test_natural4.exe".
668se c -flat_check -debug_check test_natural4.e -o test_natural4.exe
669Abnormal exit status of "se c -flat_check -debug_check test_natural4.e -o test_natural4.exe".
670se c -no_check test_natural4.e -o test_natural4.exe
671Abnormal exit status of "se c -no_check test_natural4.e -o test_natural4.exe".
672se c -flat_check -require_check test_natural4.e -o test_natural4.exe
673Abnormal exit status of "se c -flat_check -require_check test_natural4.e -o test_natural4.exe".
674se c -flat_check -ensure_check test_natural4.e -o test_natural4.exe
675Abnormal exit status of "se c -flat_check -ensure_check test_natural4.e -o test_natural4.exe".
676se c -flat_check -invariant_check test_natural4.e -o test_natural4.exe
677Abnormal exit status of "se c -flat_check -invariant_check test_natural4.e -o test_natural4.exe".
678se c -flat_check -loop_check test_natural4.e -o test_natural4.exe
679Abnormal exit status of "se c -flat_check -loop_check test_natural4.e -o test_natural4.exe".
680se c -flat_check -all_check test_natural4.e -o test_natural4.exe
681Abnormal exit status of "se c -flat_check -all_check test_natural4.e -o test_natural4.exe".
682se c -no_gc -boost test_natural4.e -o test_natural4.exe
683Abnormal exit status of "se c -no_gc -boost test_natural4.e -o test_natural4.exe".
684se c -no_gc -flat_check -debug_check test_natural4.e -o test_natural4.exe
685Abnormal exit status of "se c -no_gc -flat_check -debug_check test_natural4.e -o test_natural4.exe".
686se c -no_gc -no_check test_natural4.e -o test_natural4.exe
687Abnormal exit status of "se c -no_gc -no_check test_natural4.e -o test_natural4.exe".
688se c -no_gc -flat_check -require_check test_natural4.e -o test_natural4.exe
689Abnormal exit status of "se c -no_gc -flat_check -require_check test_natural4.e -o test_natural4.exe".
690se c -no_gc -ensure_check test_natural4.e -o test_natural4.exe
691Abnormal exit status of "se c -no_gc -ensure_check test_natural4.e -o test_natural4.exe".
692se c -no_gc -flat_check -invariant_check test_natural4.e -o test_natural4.exe
693Abnormal exit status of "se c -no_gc -flat_check -invariant_check test_natural4.e -o test_natural4.exe".
694se c -no_gc -flat_check -loop_check test_natural4.e -o test_natural4.exe
695Abnormal exit status of "se c -no_gc -flat_check -loop_check test_natural4.e -o test_natural4.exe".
696se c -no_gc -flat_check -all_check test_natural4.e -o test_natural4.exe
697Abnormal exit status of "se c -no_gc -flat_check -all_check test_natural4.e -o test_natural4.exe".
698se c -debug_check test_natural4.e -o test_natural4.exe
699Abnormal exit status of "se c -debug_check test_natural4.e -o test_natural4.exe".
700se c -require_check test_natural4.e -o test_natural4.exe
701Abnormal exit status of "se c -require_check test_natural4.e -o test_natural4.exe".
702se c -ensure_check test_natural4.e -o test_natural4.exe
703Abnormal exit status of "se c -ensure_check test_natural4.e -o test_natural4.exe".
704se c -invariant_check test_natural4.e -o test_natural4.exe
705Abnormal exit status of "se c -invariant_check test_natural4.e -o test_natural4.exe".
706se c -loop_check test_natural4.e -o test_natural4.exe
707Abnormal exit status of "se c -loop_check test_natural4.e -o test_natural4.exe".
708se c -all_check test_natural4.e -o test_natural4.exe
709Abnormal exit status of "se c -all_check test_natural4.e -o test_natural4.exe".
710se c -no_gc -debug_check test_natural4.e -o test_natural4.exe
711Abnormal exit status of "se c -no_gc -debug_check test_natural4.e -o test_natural4.exe".
712se c -no_gc -require_check test_natural4.e -o test_natural4.exe
713Abnormal exit status of "se c -no_gc -require_check test_natural4.e -o test_natural4.exe".
714se c -no_gc -ensure_check test_natural4.e -o test_natural4.exe
715Abnormal exit status of "se c -no_gc -ensure_check test_natural4.e -o test_natural4.exe".
716se c -no_gc -invariant_check test_natural4.e -o test_natural4.exe
717Abnormal exit status of "se c -no_gc -invariant_check test_natural4.e -o test_natural4.exe".
718se c -no_gc -loop_check test_natural4.e -o test_natural4.exe
719Abnormal exit status of "se c -no_gc -loop_check test_natural4.e -o test_natural4.exe".
720se c -no_gc -all_check test_natural4.e -o test_natural4.exe
721Abnormal exit status of "se c -no_gc -all_check test_natural4.e -o test_natural4.exe".
722Excluded command: "se c -profile -boost test_natural4.e -o test_natural4.exe".
723By excluded.lst:  "se c -profile".
724Excluded command: "se c -profile -debug_check test_natural4.e -o test_natural4.exe".
725By excluded.lst:  "se c -profile".
726Excluded command: "se c -profile -no_check test_natural4.e -o test_natural4.exe".
727By excluded.lst:  "se c -profile".
728Excluded command: "se c -profile -require_check test_natural4.e -o test_natural4.exe".
729By excluded.lst:  "se c -profile".
730Excluded command: "se c -profile -ensure_check test_natural4.e -o test_natural4.exe".
731By excluded.lst:  "se c -profile".
732Excluded command: "se c -profile -invariant_check test_natural4.e -o test_natural4.exe".
733By excluded.lst:  "se c -profile".
734Excluded command: "se c -profile -loop_check test_natural4.e -o test_natural4.exe".
735By excluded.lst:  "se c -profile".
736Excluded command: "se c -profile -all_check test_natural4.e -o test_natural4.exe".
737By excluded.lst:  "se c -profile".
738Excluded command: "se c -profile -no_gc -boost test_natural4.e -o test_natural4.exe".
739By excluded.lst:  "se c -profile".
740Excluded command: "se c -profile -no_gc -debug_check test_natural4.e -o test_natural4.exe".
741By excluded.lst:  "se c -profile".
742Excluded command: "se c -profile -no_gc -no_check test_natural4.e -o test_natural4.exe".
743By excluded.lst:  "se c -profile".
744Excluded command: "se c -profile -no_gc -require_check test_natural4.e -o test_natural4.exe".
745By excluded.lst:  "se c -profile".
746Excluded command: "se c -profile -no_gc -ensure_check test_natural4.e -o test_natural4.exe".
747By excluded.lst:  "se c -profile".
748Excluded command: "se c -profile -no_gc -invariant_check test_natural4.e -o test_natural4.exe".
749By excluded.lst:  "se c -profile".
750Excluded command: "se c -profile -no_gc -loop_check test_natural4.e -o test_natural4.exe".
751By excluded.lst:  "se c -profile".
752Excluded command: "se c -profile -no_gc -all_check test_natural4.e -o test_natural4.exe".
753By excluded.lst:  "se c -profile".
754Excluded command: "se c -profile -flat_check -debug_check test_natural4.e -o test_natural4.exe".
755By excluded.lst:  "se c -profile".
756Excluded command: "se c -profile -flat_check -require_check test_natural4.e -o test_natural4.exe".
757By excluded.lst:  "se c -profile".
758Excluded command: "se c -profile -flat_check -ensure_check test_natural4.e -o test_natural4.exe".
759By excluded.lst:  "se c -profile".
760Excluded command: "se c -profile -flat_check -invariant_check test_natural4.e -o test_natural4.exe".
761By excluded.lst:  "se c -profile".
762Excluded command: "se c -profile -flat_check -loop_check test_natural4.e -o test_natural4.exe".
763By excluded.lst:  "se c -profile".
764Excluded command: "se c -profile -flat_check -all_check test_natural4.e -o test_natural4.exe".
765By excluded.lst:  "se c -profile".
766se c -no_split -boost test_natural4.e -o test_natural4.exe
767Abnormal exit status of "se c -no_split -boost test_natural4.e -o test_natural4.exe".
768se c -no_split -no_gc -boost test_natural4.e -o test_natural4.exe
769Abnormal exit status of "se c -no_split -no_gc -boost test_natural4.e -o test_natural4.exe".
770se c -boost test_natural5.e -o test_natural5.exe
771Running (-boost) "test_natural5.exe".
772se clean test_natural5.e
773Removing (-boost) "test_natural5.exe".
774se c -flat_check -debug_check test_natural5.e -o test_natural5.exe
775Running (-flat_check -debug_check) "test_natural5.exe".
776se clean test_natural5.e
777Removing (-flat_check -debug_check) "test_natural5.exe".
778se c -no_check test_natural5.e -o test_natural5.exe
779Running (-no_check) "test_natural5.exe".
780se clean test_natural5.e
781Removing (-no_check) "test_natural5.exe".
782se c -flat_check -require_check test_natural5.e -o test_natural5.exe
783Running (-flat_check -require_check) "test_natural5.exe".
784se clean test_natural5.e
785Removing (-flat_check -require_check) "test_natural5.exe".
786se c -flat_check -ensure_check test_natural5.e -o test_natural5.exe
787Running (-flat_check -ensure_check) "test_natural5.exe".
788se clean test_natural5.e
789Removing (-flat_check -ensure_check) "test_natural5.exe".
790se c -flat_check -invariant_check test_natural5.e -o test_natural5.exe
791Running (-flat_check -invariant_check) "test_natural5.exe".
792se clean test_natural5.e
793Removing (-flat_check -invariant_check) "test_natural5.exe".
794se c -flat_check -loop_check test_natural5.e -o test_natural5.exe
795Running (-flat_check -loop_check) "test_natural5.exe".
796se clean test_natural5.e
797Removing (-flat_check -loop_check) "test_natural5.exe".
798se c -flat_check -all_check test_natural5.e -o test_natural5.exe
799Running (-flat_check -all_check) "test_natural5.exe".
800se clean test_natural5.e
801Removing (-flat_check -all_check) "test_natural5.exe".
802se c -no_gc -boost test_natural5.e -o test_natural5.exe
803Running (-no_gc -boost) "test_natural5.exe".
804se clean test_natural5.e
805Removing (-no_gc -boost) "test_natural5.exe".
806se c -no_gc -flat_check -debug_check test_natural5.e -o test_natural5.exe
807Running (-no_gc -flat_check -debug_check) "test_natural5.exe".
808se clean test_natural5.e
809Removing (-no_gc -flat_check -debug_check) "test_natural5.exe".
810se c -no_gc -no_check test_natural5.e -o test_natural5.exe
811Running (-no_gc -no_check) "test_natural5.exe".
812se clean test_natural5.e
813Removing (-no_gc -no_check) "test_natural5.exe".
814se c -no_gc -flat_check -require_check test_natural5.e -o test_natural5.exe
815Running (-no_gc -flat_check -require_check) "test_natural5.exe".
816se clean test_natural5.e
817Removing (-no_gc -flat_check -require_check) "test_natural5.exe".
818se c -no_gc -ensure_check test_natural5.e -o test_natural5.exe
819Running (-no_gc -ensure_check) "test_natural5.exe".
820se clean test_natural5.e
821Removing (-no_gc -ensure_check) "test_natural5.exe".
822se c -no_gc -flat_check -invariant_check test_natural5.e -o test_natural5.exe
823Running (-no_gc -flat_check -invariant_check) "test_natural5.exe".
824se clean test_natural5.e
825Removing (-no_gc -flat_check -invariant_check) "test_natural5.exe".
826se c -no_gc -flat_check -loop_check test_natural5.e -o test_natural5.exe
827Running (-no_gc -flat_check -loop_check) "test_natural5.exe".
828se clean test_natural5.e
829Removing (-no_gc -flat_check -loop_check) "test_natural5.exe".
830se c -no_gc -flat_check -all_check test_natural5.e -o test_natural5.exe
831Running (-no_gc -flat_check -all_check) "test_natural5.exe".
832se clean test_natural5.e
833Removing (-no_gc -flat_check -all_check) "test_natural5.exe".
834se c -debug_check test_natural5.e -o test_natural5.exe
835Running (-debug_check) "test_natural5.exe".
836se clean test_natural5.e
837Removing (-debug_check) "test_natural5.exe".
838se c -require_check test_natural5.e -o test_natural5.exe
839Running (-require_check) "test_natural5.exe".
840se clean test_natural5.e
841Removing (-require_check) "test_natural5.exe".
842se c -ensure_check test_natural5.e -o test_natural5.exe
843Running (-ensure_check) "test_natural5.exe".
844se clean test_natural5.e
845Removing (-ensure_check) "test_natural5.exe".
846se c -invariant_check test_natural5.e -o test_natural5.exe
847Running (-invariant_check) "test_natural5.exe".
848se clean test_natural5.e
849Removing (-invariant_check) "test_natural5.exe".
850se c -loop_check test_natural5.e -o test_natural5.exe
851Running (-loop_check) "test_natural5.exe".
852se clean test_natural5.e
853Removing (-loop_check) "test_natural5.exe".
854se c -all_check test_natural5.e -o test_natural5.exe
855Running (-all_check) "test_natural5.exe".
856se clean test_natural5.e
857Removing (-all_check) "test_natural5.exe".
858se c -no_gc -debug_check test_natural5.e -o test_natural5.exe
859Running (-no_gc -debug_check) "test_natural5.exe".
860se clean test_natural5.e
861Removing (-no_gc -debug_check) "test_natural5.exe".
862se c -no_gc -require_check test_natural5.e -o test_natural5.exe
863Running (-no_gc -require_check) "test_natural5.exe".
864se clean test_natural5.e
865Removing (-no_gc -require_check) "test_natural5.exe".
866se c -no_gc -ensure_check test_natural5.e -o test_natural5.exe
867Running (-no_gc -ensure_check) "test_natural5.exe".
868se clean test_natural5.e
869Removing (-no_gc -ensure_check) "test_natural5.exe".
870se c -no_gc -invariant_check test_natural5.e -o test_natural5.exe
871Running (-no_gc -invariant_check) "test_natural5.exe".
872se clean test_natural5.e
873Removing (-no_gc -invariant_check) "test_natural5.exe".
874se c -no_gc -loop_check test_natural5.e -o test_natural5.exe
875Running (-no_gc -loop_check) "test_natural5.exe".
876se clean test_natural5.e
877Removing (-no_gc -loop_check) "test_natural5.exe".
878se c -no_gc -all_check test_natural5.e -o test_natural5.exe
879Running (-no_gc -all_check) "test_natural5.exe".
880se clean test_natural5.e
881Removing (-no_gc -all_check) "test_natural5.exe".
882Excluded command: "se c -profile -boost test_natural5.e -o test_natural5.exe".
883By excluded.lst:  "se c -profile".
884Excluded command: "se c -profile -debug_check test_natural5.e -o test_natural5.exe".
885By excluded.lst:  "se c -profile".
886Excluded command: "se c -profile -no_check test_natural5.e -o test_natural5.exe".
887By excluded.lst:  "se c -profile".
888Excluded command: "se c -profile -require_check test_natural5.e -o test_natural5.exe".
889By excluded.lst:  "se c -profile".
890Excluded command: "se c -profile -ensure_check test_natural5.e -o test_natural5.exe".
891By excluded.lst:  "se c -profile".
892Excluded command: "se c -profile -invariant_check test_natural5.e -o test_natural5.exe".
893By excluded.lst:  "se c -profile".
894Excluded command: "se c -profile -loop_check test_natural5.e -o test_natural5.exe".
895By excluded.lst:  "se c -profile".
896Excluded command: "se c -profile -all_check test_natural5.e -o test_natural5.exe".
897By excluded.lst:  "se c -profile".
898Excluded command: "se c -profile -no_gc -boost test_natural5.e -o test_natural5.exe".
899By excluded.lst:  "se c -profile".
900Excluded command: "se c -profile -no_gc -debug_check test_natural5.e -o test_natural5.exe".
901By excluded.lst:  "se c -profile".
902Excluded command: "se c -profile -no_gc -no_check test_natural5.e -o test_natural5.exe".
903By excluded.lst:  "se c -profile".
904Excluded command: "se c -profile -no_gc -require_check test_natural5.e -o test_natural5.exe".
905By excluded.lst:  "se c -profile".
906Excluded command: "se c -profile -no_gc -ensure_check test_natural5.e -o test_natural5.exe".
907By excluded.lst:  "se c -profile".
908Excluded command: "se c -profile -no_gc -invariant_check test_natural5.e -o test_natural5.exe".
909By excluded.lst:  "se c -profile".
910Excluded command: "se c -profile -no_gc -loop_check test_natural5.e -o test_natural5.exe".
911By excluded.lst:  "se c -profile".
912Excluded command: "se c -profile -no_gc -all_check test_natural…

Large files files are truncated, but you can click here to view the full file