PageRenderTime 50ms CodeModel.GetById 17ms RepoModel.GetById 1ms app.codeStats 0ms

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