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

http://github.com/tybor/Liberty · Unknown · 254 lines · 254 code · 0 blank · 0 comment · 0 complexity · c2262d23cac2c5024c7f40c1d81caec8 MD5 · raw file

  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 2 test_* file(s).
  7. Found 0 bad_* file(s).
  8. No subdirectory.
  9. --------------------------------------------------------------------------------
  10. se c -boost test_g_string00.e -o test_g_string00.exe
  11. Running (-boost) "test_g_string00.exe".
  12. se clean test_g_string00.e
  13. Removing (-boost) "test_g_string00.exe".
  14. se c -flat_check -all_check -debug test_g_string00.e -o test_g_string00.exe
  15. Running (-flat_check -all_check -debug) "test_g_string00.exe".
  16. se clean test_g_string00.e
  17. Removing (-flat_check -all_check -debug) "test_g_string00.exe".
  18. se c -no_check test_g_string00.e -o test_g_string00.exe
  19. Running (-no_check) "test_g_string00.exe".
  20. se clean test_g_string00.e
  21. Removing (-no_check) "test_g_string00.exe".
  22. se c -flat_check -require_check test_g_string00.e -o test_g_string00.exe
  23. Running (-flat_check -require_check) "test_g_string00.exe".
  24. se clean test_g_string00.e
  25. Removing (-flat_check -require_check) "test_g_string00.exe".
  26. se c -flat_check -ensure_check test_g_string00.e -o test_g_string00.exe
  27. Running (-flat_check -ensure_check) "test_g_string00.exe".
  28. se clean test_g_string00.e
  29. Removing (-flat_check -ensure_check) "test_g_string00.exe".
  30. se c -flat_check -invariant_check test_g_string00.e -o test_g_string00.exe
  31. Running (-flat_check -invariant_check) "test_g_string00.exe".
  32. se clean test_g_string00.e
  33. Removing (-flat_check -invariant_check) "test_g_string00.exe".
  34. se c -flat_check -loop_check test_g_string00.e -o test_g_string00.exe
  35. Running (-flat_check -loop_check) "test_g_string00.exe".
  36. se clean test_g_string00.e
  37. Removing (-flat_check -loop_check) "test_g_string00.exe".
  38. se c -flat_check -all_check test_g_string00.e -o test_g_string00.exe
  39. Running (-flat_check -all_check) "test_g_string00.exe".
  40. se clean test_g_string00.e
  41. Removing (-flat_check -all_check) "test_g_string00.exe".
  42. Excluded command: "se c -no_gc -boost test_g_string00.e -o test_g_string00.exe".
  43. By excluded.lst: "se c -no_gc".
  44. Excluded command: "se c -no_gc -boost -debug test_g_string00.e -o test_g_string00.exe".
  45. By excluded.lst: "se c -no_gc".
  46. Excluded command: "se c -no_gc -no_check test_g_string00.e -o test_g_string00.exe".
  47. By excluded.lst: "se c -no_gc".
  48. Excluded command: "se c -no_gc -flat_check -require_check test_g_string00.e -o test_g_string00.exe".
  49. By excluded.lst: "se c -no_gc".
  50. Excluded command: "se c -no_gc -ensure_check test_g_string00.e -o test_g_string00.exe".
  51. By excluded.lst: "se c -no_gc".
  52. Excluded command: "se c -no_gc -flat_check -invariant_check test_g_string00.e -o test_g_string00.exe".
  53. By excluded.lst: "se c -no_gc".
  54. Excluded command: "se c -no_gc -flat_check -loop_check test_g_string00.e -o test_g_string00.exe".
  55. By excluded.lst: "se c -no_gc".
  56. Excluded command: "se c -no_gc -flat_check -all_check test_g_string00.e -o test_g_string00.exe".
  57. By excluded.lst: "se c -no_gc".
  58. Excluded command: "se c -all_check -debug test_g_string00.e -o test_g_string00.exe".
  59. By excluded.lst: "se c -all_check -debug".
  60. se c -require_check test_g_string00.e -o test_g_string00.exe
  61. Running (-require_check) "test_g_string00.exe".
  62. se clean test_g_string00.e
  63. Removing (-require_check) "test_g_string00.exe".
  64. Excluded command: "se c -ensure_check test_g_string00.e -o test_g_string00.exe".
  65. By excluded.lst: "se c -ensure_check".
  66. Excluded command: "se c -invariant_check test_g_string00.e -o test_g_string00.exe".
  67. By excluded.lst: "se c -invariant_check".
  68. Excluded command: "se c -loop_check test_g_string00.e -o test_g_string00.exe".
  69. By excluded.lst: "se c -loop_check".
  70. Excluded command: "se c -all_check test_g_string00.e -o test_g_string00.exe".
  71. By excluded.lst: "se c -all_check".
  72. Excluded command: "se c -no_gc -require_check test_g_string00.e -o test_g_string00.exe".
  73. By excluded.lst: "se c -no_gc".
  74. Excluded command: "se c -no_gc -ensure_check test_g_string00.e -o test_g_string00.exe".
  75. By excluded.lst: "se c -no_gc".
  76. Excluded command: "se c -no_gc -invariant_check test_g_string00.e -o test_g_string00.exe".
  77. By excluded.lst: "se c -no_gc".
  78. Excluded command: "se c -no_gc -loop_check test_g_string00.e -o test_g_string00.exe".
  79. By excluded.lst: "se c -no_gc".
  80. Excluded command: "se c -no_gc -all_check test_g_string00.e -o test_g_string00.exe".
  81. By excluded.lst: "se c -no_gc".
  82. Excluded command: "se c -profile -boost test_g_string00.e -o test_g_string00.exe".
  83. By excluded.lst: "se c -profile".
  84. Excluded command: "se c -profile -all_check -debug test_g_string00.e -o test_g_string00.exe".
  85. By excluded.lst: "se c -profile".
  86. Excluded command: "se c -profile -no_check test_g_string00.e -o test_g_string00.exe".
  87. By excluded.lst: "se c -profile".
  88. Excluded command: "se c -profile -require_check test_g_string00.e -o test_g_string00.exe".
  89. By excluded.lst: "se c -profile".
  90. Excluded command: "se c -profile -ensure_check test_g_string00.e -o test_g_string00.exe".
  91. By excluded.lst: "se c -profile".
  92. Excluded command: "se c -profile -invariant_check test_g_string00.e -o test_g_string00.exe".
  93. By excluded.lst: "se c -profile".
  94. Excluded command: "se c -profile -loop_check test_g_string00.e -o test_g_string00.exe".
  95. By excluded.lst: "se c -profile".
  96. Excluded command: "se c -profile -all_check test_g_string00.e -o test_g_string00.exe".
  97. By excluded.lst: "se c -profile".
  98. Excluded command: "se c -profile -no_gc -boost test_g_string00.e -o test_g_string00.exe".
  99. By excluded.lst: "se c -profile".
  100. Excluded command: "se c -profile -no_gc -no_check test_g_string00.e -o test_g_string00.exe".
  101. By excluded.lst: "se c -profile".
  102. Excluded command: "se c -profile -no_gc -require_check test_g_string00.e -o test_g_string00.exe".
  103. By excluded.lst: "se c -profile".
  104. Excluded command: "se c -profile -no_gc -ensure_check test_g_string00.e -o test_g_string00.exe".
  105. By excluded.lst: "se c -profile".
  106. Excluded command: "se c -profile -no_gc -invariant_check test_g_string00.e -o test_g_string00.exe".
  107. By excluded.lst: "se c -profile".
  108. Excluded command: "se c -profile -no_gc -loop_check test_g_string00.e -o test_g_string00.exe".
  109. By excluded.lst: "se c -profile".
  110. Excluded command: "se c -profile -no_gc -all_check test_g_string00.e -o test_g_string00.exe".
  111. By excluded.lst: "se c -profile".
  112. Excluded command: "se c -profile -flat_check -require_check test_g_string00.e -o test_g_string00.exe".
  113. By excluded.lst: "se c -profile".
  114. Excluded command: "se c -profile -flat_check -ensure_check test_g_string00.e -o test_g_string00.exe".
  115. By excluded.lst: "se c -profile".
  116. Excluded command: "se c -profile -flat_check -invariant_check test_g_string00.e -o test_g_string00.exe".
  117. By excluded.lst: "se c -profile".
  118. Excluded command: "se c -profile -flat_check -loop_check test_g_string00.e -o test_g_string00.exe".
  119. By excluded.lst: "se c -profile".
  120. Excluded command: "se c -profile -flat_check -all_check test_g_string00.e -o test_g_string00.exe".
  121. By excluded.lst: "se c -profile".
  122. se c -no_split -boost test_g_string00.e -o test_g_string00.exe
  123. Running (-no_split -boost) "test_g_string00.exe".
  124. se clean test_g_string00.e
  125. Removing (-no_split -boost) "test_g_string00.exe".
  126. se c -no_split -no_gc -boost test_g_string00.e -o test_g_string00.exe
  127. Running (-no_split -no_gc -boost) "test_g_string00.exe".
  128. se clean test_g_string00.e
  129. Removing (-no_split -no_gc -boost) "test_g_string00.exe".
  130. se c -boost test_glist00.e -o test_glist00.exe
  131. Running (-boost) "test_glist00.exe".
  132. se clean test_glist00.e
  133. Removing (-boost) "test_glist00.exe".
  134. se c -flat_check -all_check -debug test_glist00.e -o test_glist00.exe
  135. Running (-flat_check -all_check -debug) "test_glist00.exe".
  136. se clean test_glist00.e
  137. Removing (-flat_check -all_check -debug) "test_glist00.exe".
  138. se c -no_check test_glist00.e -o test_glist00.exe
  139. Running (-no_check) "test_glist00.exe".
  140. se clean test_glist00.e
  141. Removing (-no_check) "test_glist00.exe".
  142. se c -flat_check -require_check test_glist00.e -o test_glist00.exe
  143. Running (-flat_check -require_check) "test_glist00.exe".
  144. se clean test_glist00.e
  145. Removing (-flat_check -require_check) "test_glist00.exe".
  146. se c -flat_check -ensure_check test_glist00.e -o test_glist00.exe
  147. Running (-flat_check -ensure_check) "test_glist00.exe".
  148. se clean test_glist00.e
  149. Removing (-flat_check -ensure_check) "test_glist00.exe".
  150. se c -flat_check -invariant_check test_glist00.e -o test_glist00.exe
  151. Running (-flat_check -invariant_check) "test_glist00.exe".
  152. se clean test_glist00.e
  153. Removing (-flat_check -invariant_check) "test_glist00.exe".
  154. se c -flat_check -loop_check test_glist00.e -o test_glist00.exe
  155. Running (-flat_check -loop_check) "test_glist00.exe".
  156. se clean test_glist00.e
  157. Removing (-flat_check -loop_check) "test_glist00.exe".
  158. se c -flat_check -all_check test_glist00.e -o test_glist00.exe
  159. Running (-flat_check -all_check) "test_glist00.exe".
  160. se clean test_glist00.e
  161. Removing (-flat_check -all_check) "test_glist00.exe".
  162. Excluded command: "se c -no_gc -boost test_glist00.e -o test_glist00.exe".
  163. By excluded.lst: "se c -no_gc".
  164. Excluded command: "se c -no_gc -boost -debug test_glist00.e -o test_glist00.exe".
  165. By excluded.lst: "se c -no_gc".
  166. Excluded command: "se c -no_gc -no_check test_glist00.e -o test_glist00.exe".
  167. By excluded.lst: "se c -no_gc".
  168. Excluded command: "se c -no_gc -flat_check -require_check test_glist00.e -o test_glist00.exe".
  169. By excluded.lst: "se c -no_gc".
  170. Excluded command: "se c -no_gc -ensure_check test_glist00.e -o test_glist00.exe".
  171. By excluded.lst: "se c -no_gc".
  172. Excluded command: "se c -no_gc -flat_check -invariant_check test_glist00.e -o test_glist00.exe".
  173. By excluded.lst: "se c -no_gc".
  174. Excluded command: "se c -no_gc -flat_check -loop_check test_glist00.e -o test_glist00.exe".
  175. By excluded.lst: "se c -no_gc".
  176. Excluded command: "se c -no_gc -flat_check -all_check test_glist00.e -o test_glist00.exe".
  177. By excluded.lst: "se c -no_gc".
  178. Excluded command: "se c -all_check -debug test_glist00.e -o test_glist00.exe".
  179. By excluded.lst: "se c -all_check -debug".
  180. se c -require_check test_glist00.e -o test_glist00.exe
  181. Running (-require_check) "test_glist00.exe".
  182. se clean test_glist00.e
  183. Removing (-require_check) "test_glist00.exe".
  184. Excluded command: "se c -ensure_check test_glist00.e -o test_glist00.exe".
  185. By excluded.lst: "se c -ensure_check".
  186. Excluded command: "se c -invariant_check test_glist00.e -o test_glist00.exe".
  187. By excluded.lst: "se c -invariant_check".
  188. Excluded command: "se c -loop_check test_glist00.e -o test_glist00.exe".
  189. By excluded.lst: "se c -loop_check".
  190. Excluded command: "se c -all_check test_glist00.e -o test_glist00.exe".
  191. By excluded.lst: "se c -all_check".
  192. Excluded command: "se c -no_gc -require_check test_glist00.e -o test_glist00.exe".
  193. By excluded.lst: "se c -no_gc".
  194. Excluded command: "se c -no_gc -ensure_check test_glist00.e -o test_glist00.exe".
  195. By excluded.lst: "se c -no_gc".
  196. Excluded command: "se c -no_gc -invariant_check test_glist00.e -o test_glist00.exe".
  197. By excluded.lst: "se c -no_gc".
  198. Excluded command: "se c -no_gc -loop_check test_glist00.e -o test_glist00.exe".
  199. By excluded.lst: "se c -no_gc".
  200. Excluded command: "se c -no_gc -all_check test_glist00.e -o test_glist00.exe".
  201. By excluded.lst: "se c -no_gc".
  202. Excluded command: "se c -profile -boost test_glist00.e -o test_glist00.exe".
  203. By excluded.lst: "se c -profile".
  204. Excluded command: "se c -profile -all_check -debug test_glist00.e -o test_glist00.exe".
  205. By excluded.lst: "se c -profile".
  206. Excluded command: "se c -profile -no_check test_glist00.e -o test_glist00.exe".
  207. By excluded.lst: "se c -profile".
  208. Excluded command: "se c -profile -require_check test_glist00.e -o test_glist00.exe".
  209. By excluded.lst: "se c -profile".
  210. Excluded command: "se c -profile -ensure_check test_glist00.e -o test_glist00.exe".
  211. By excluded.lst: "se c -profile".
  212. Excluded command: "se c -profile -invariant_check test_glist00.e -o test_glist00.exe".
  213. By excluded.lst: "se c -profile".
  214. Excluded command: "se c -profile -loop_check test_glist00.e -o test_glist00.exe".
  215. By excluded.lst: "se c -profile".
  216. Excluded command: "se c -profile -all_check test_glist00.e -o test_glist00.exe".
  217. By excluded.lst: "se c -profile".
  218. Excluded command: "se c -profile -no_gc -boost test_glist00.e -o test_glist00.exe".
  219. By excluded.lst: "se c -profile".
  220. Excluded command: "se c -profile -no_gc -no_check test_glist00.e -o test_glist00.exe".
  221. By excluded.lst: "se c -profile".
  222. Excluded command: "se c -profile -no_gc -require_check test_glist00.e -o test_glist00.exe".
  223. By excluded.lst: "se c -profile".
  224. Excluded command: "se c -profile -no_gc -ensure_check test_glist00.e -o test_glist00.exe".
  225. By excluded.lst: "se c -profile".
  226. Excluded command: "se c -profile -no_gc -invariant_check test_glist00.e -o test_glist00.exe".
  227. By excluded.lst: "se c -profile".
  228. Excluded command: "se c -profile -no_gc -loop_check test_glist00.e -o test_glist00.exe".
  229. By excluded.lst: "se c -profile".
  230. Excluded command: "se c -profile -no_gc -all_check test_glist00.e -o test_glist00.exe".
  231. By excluded.lst: "se c -profile".
  232. Excluded command: "se c -profile -flat_check -require_check test_glist00.e -o test_glist00.exe".
  233. By excluded.lst: "se c -profile".
  234. Excluded command: "se c -profile -flat_check -ensure_check test_glist00.e -o test_glist00.exe".
  235. By excluded.lst: "se c -profile".
  236. Excluded command: "se c -profile -flat_check -invariant_check test_glist00.e -o test_glist00.exe".
  237. By excluded.lst: "se c -profile".
  238. Excluded command: "se c -profile -flat_check -loop_check test_glist00.e -o test_glist00.exe".
  239. By excluded.lst: "se c -profile".
  240. Excluded command: "se c -profile -flat_check -all_check test_glist00.e -o test_glist00.exe".
  241. By excluded.lst: "se c -profile".
  242. se c -no_split -boost test_glist00.e -o test_glist00.exe
  243. Running (-no_split -boost) "test_glist00.exe".
  244. se clean test_glist00.e
  245. Removing (-no_split -boost) "test_glist00.exe".
  246. se c -no_split -no_gc -boost test_glist00.e -o test_glist00.exe
  247. Running (-no_split -no_gc -boost) "test_glist00.exe".
  248. se clean test_glist00.e
  249. Removing (-no_split -no_gc -boost) "test_glist00.exe".
  250. --------------------------------------------------------------------------------
  251. All entries of the "excluded.lst" file are used (good).
  252. --------------------------------------------------------------------------------
  253. End of "se test" log file ("log.new" should be identical with "log.ref").
  254. Check that manually and overwrite "log.ref" with "log.new" if you agree.