/src/wrappers/xml/test/eiffeltest/log.new

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

    

  1. This log file was generated by "se test" version #1.0.
    2. 

  2. The "log.new" file must be identical to the "log.ref" file.
    3. 

  3. The reference file is "log.ref" and this file must be created manually.
    4. 

  4. If you confirm that "log.new" is correct, just overwrite "log.ref" with "log.new".
    5. 

  5. --------------------------------------------------------------------------------
    6. 

  6. Found 1 test_* file(s).
    7. 

  7. Found 0 bad_* file(s).
    8. 

  8. No subdirectory.
    9. 

  9. --------------------------------------------------------------------------------
    10. 

  10. se c -boost test_xml_00.e -o test_xml_00.exe
    11. 

  11. Running (-boost) "test_xml_00.exe".
    12. 

  12. se clean test_xml_00.e
    13. 

  13. Removing (-boost) "test_xml_00.exe".
    14. 

  14. se c -flat_check -all_check -debug test_xml_00.e -o test_xml_00.exe
    15. 

  15. Running (-flat_check -all_check -debug) "test_xml_00.exe".
    16. 

  16. se clean test_xml_00.e
    17. 

  17. Removing (-flat_check -all_check -debug) "test_xml_00.exe".
    18. 

  18. se c -no_check test_xml_00.e -o test_xml_00.exe
    19. 

  19. Running (-no_check) "test_xml_00.exe".
    20. 

  20. se clean test_xml_00.e
    21. 

  21. Removing (-no_check) "test_xml_00.exe".
    22. 

  22. se c -flat_check -require_check test_xml_00.e -o test_xml_00.exe
    23. 

  23. Running (-flat_check -require_check) "test_xml_00.exe".
    24. 

  24. se clean test_xml_00.e
    25. 

  25. Removing (-flat_check -require_check) "test_xml_00.exe".
    26. 

  26. se c -flat_check -ensure_check test_xml_00.e -o test_xml_00.exe
    27. 

  27. Running (-flat_check -ensure_check) "test_xml_00.exe".
    28. 

  28. se clean test_xml_00.e
    29. 

  29. Removing (-flat_check -ensure_check) "test_xml_00.exe".
    30. 

  30. se c -flat_check -invariant_check test_xml_00.e -o test_xml_00.exe
    31. 

  31. Running (-flat_check -invariant_check) "test_xml_00.exe".
    32. 

  32. se clean test_xml_00.e
    33. 

  33. Removing (-flat_check -invariant_check) "test_xml_00.exe".
    34. 

  34. se c -flat_check -loop_check test_xml_00.e -o test_xml_00.exe
    35. 

  35. Running (-flat_check -loop_check) "test_xml_00.exe".
    36. 

  36. se clean test_xml_00.e
    37. 

  37. Removing (-flat_check -loop_check) "test_xml_00.exe".
    38. 

  38. se c -flat_check -all_check test_xml_00.e -o test_xml_00.exe
    39. 

  39. Running (-flat_check -all_check) "test_xml_00.exe".
    40. 

  40. se clean test_xml_00.e
    41. 

  41. Removing (-flat_check -all_check) "test_xml_00.exe".
    42. 

  42. Excluded command: "se c -no_gc -boost test_xml_00.e -o test_xml_00.exe".
    43. 

  43. By excluded.lst:  "se c -no_gc".
    44. 

  44. Excluded command: "se c -no_gc -boost -debug test_xml_00.e -o test_xml_00.exe".
    45. 

  45. By excluded.lst:  "se c -no_gc".
    46. 

  46. Excluded command: "se c -no_gc -no_check test_xml_00.e -o test_xml_00.exe".
    47. 

  47. By excluded.lst:  "se c -no_gc".
    48. 

  48. Excluded command: "se c -no_gc -flat_check -require_check test_xml_00.e -o test_xml_00.exe".
    49. 

  49. By excluded.lst:  "se c -no_gc".
    50. 

  50. Excluded command: "se c -no_gc -ensure_check test_xml_00.e -o test_xml_00.exe".
    51. 

  51. By excluded.lst:  "se c -no_gc".
    52. 

  52. Excluded command: "se c -no_gc -flat_check -invariant_check test_xml_00.e -o test_xml_00.exe".
    53. 

  53. By excluded.lst:  "se c -no_gc".
    54. 

  54. Excluded command: "se c -no_gc -flat_check -loop_check test_xml_00.e -o test_xml_00.exe".
    55. 

  55. By excluded.lst:  "se c -no_gc".
    56. 

  56. Excluded command: "se c -no_gc -flat_check -all_check test_xml_00.e -o test_xml_00.exe".
    57. 

  57. By excluded.lst:  "se c -no_gc".
    58. 

  58. Excluded command: "se c -all_check -debug test_xml_00.e -o test_xml_00.exe".
    59. 

  59. By excluded.lst:  "se c -all_check -debug".
    60. 

  60. se c -require_check test_xml_00.e -o test_xml_00.exe
    61. 

  61. Running (-require_check) "test_xml_00.exe".
    62. 

  62. se clean test_xml_00.e
    63. 

  63. Removing (-require_check) "test_xml_00.exe".
    64. 

  64. Excluded command: "se c -ensure_check test_xml_00.e -o test_xml_00.exe".
    65. 

  65. By excluded.lst:  "se c -ensure_check".
    66. 

  66. Excluded command: "se c -invariant_check test_xml_00.e -o test_xml_00.exe".
    67. 

  67. By excluded.lst:  "se c -invariant_check".
    68. 

  68. Excluded command: "se c -loop_check test_xml_00.e -o test_xml_00.exe".
    69. 

  69. By excluded.lst:  "se c -loop_check".
    70. 

  70. Excluded command: "se c -all_check test_xml_00.e -o test_xml_00.exe".
    71. 

  71. By excluded.lst:  "se c -all_check".
    72. 

  72. Excluded command: "se c -no_gc -require_check test_xml_00.e -o test_xml_00.exe".
    73. 

  73. By excluded.lst:  "se c -no_gc".
    74. 

  74. Excluded command: "se c -no_gc -ensure_check test_xml_00.e -o test_xml_00.exe".
    75. 

  75. By excluded.lst:  "se c -no_gc".
    76. 

  76. Excluded command: "se c -no_gc -invariant_check test_xml_00.e -o test_xml_00.exe".
    77. 

  77. By excluded.lst:  "se c -no_gc".
    78. 

  78. Excluded command: "se c -no_gc -loop_check test_xml_00.e -o test_xml_00.exe".
    79. 

  79. By excluded.lst:  "se c -no_gc".
    80. 

  80. Excluded command: "se c -no_gc -all_check test_xml_00.e -o test_xml_00.exe".
    81. 

  81. By excluded.lst:  "se c -no_gc".
    82. 

  82. Excluded command: "se c -profile -boost test_xml_00.e -o test_xml_00.exe".
    83. 

  83. By excluded.lst:  "se c -profile".
    84. 

  84. Excluded command: "se c -profile -all_check -debug test_xml_00.e -o test_xml_00.exe".
    85. 

  85. By excluded.lst:  "se c -profile".
    86. 

  86. Excluded command: "se c -profile -no_check test_xml_00.e -o test_xml_00.exe".
    87. 

  87. By excluded.lst:  "se c -profile".
    88. 

  88. Excluded command: "se c -profile -require_check test_xml_00.e -o test_xml_00.exe".
    89. 

  89. By excluded.lst:  "se c -profile".
    90. 

  90. Excluded command: "se c -profile -ensure_check test_xml_00.e -o test_xml_00.exe".
    91. 

  91. By excluded.lst:  "se c -profile".
    92. 

  92. Excluded command: "se c -profile -invariant_check test_xml_00.e -o test_xml_00.exe".
    93. 

  93. By excluded.lst:  "se c -profile".
    94. 

  94. Excluded command: "se c -profile -loop_check test_xml_00.e -o test_xml_00.exe".
    95. 

  95. By excluded.lst:  "se c -profile".
    96. 

  96. Excluded command: "se c -profile -all_check test_xml_00.e -o test_xml_00.exe".
    97. 

  97. By excluded.lst:  "se c -profile".
    98. 

  98. Excluded command: "se c -profile -no_gc -boost test_xml_00.e -o test_xml_00.exe".
    99. 

  99. By excluded.lst:  "se c -profile".
    100. 

  100. Excluded command: "se c -profile -no_gc -no_check test_xml_00.e -o test_xml_00.exe".
    101. 

  101. By excluded.lst:  "se c -profile".
    102. 

  102. Excluded command: "se c -profile -no_gc -require_check test_xml_00.e -o test_xml_00.exe".
    103. 

  103. By excluded.lst:  "se c -profile".
    104. 

  104. Excluded command: "se c -profile -no_gc -ensure_check test_xml_00.e -o test_xml_00.exe".
    105. 

  105. By excluded.lst:  "se c -profile".
    106. 

  106. Excluded command: "se c -profile -no_gc -invariant_check test_xml_00.e -o test_xml_00.exe".
    107. 

  107. By excluded.lst:  "se c -profile".
    108. 

  108. Excluded command: "se c -profile -no_gc -loop_check test_xml_00.e -o test_xml_00.exe".
    109. 

  109. By excluded.lst:  "se c -profile".
    110. 

  110. Excluded command: "se c -profile -no_gc -all_check test_xml_00.e -o test_xml_00.exe".
    111. 

  111. By excluded.lst:  "se c -profile".
    112. 

  112. Excluded command: "se c -profile -flat_check -require_check test_xml_00.e -o test_xml_00.exe".
    113. 

  113. By excluded.lst:  "se c -profile".
    114. 

  114. Excluded command: "se c -profile -flat_check -ensure_check test_xml_00.e -o test_xml_00.exe".
    115. 

  115. By excluded.lst:  "se c -profile".
    116. 

  116. Excluded command: "se c -profile -flat_check -invariant_check test_xml_00.e -o test_xml_00.exe".
    117. 

  117. By excluded.lst:  "se c -profile".
    118. 

  118. Excluded command: "se c -profile -flat_check -loop_check test_xml_00.e -o test_xml_00.exe".
    119. 

  119. By excluded.lst:  "se c -profile".
    120. 

  120. Excluded command: "se c -profile -flat_check -all_check test_xml_00.e -o test_xml_00.exe".
    121. 

  121. By excluded.lst:  "se c -profile".
    122. 

  122. se c -no_split -boost test_xml_00.e -o test_xml_00.exe
    123. 

  123. Running (-no_split -boost) "test_xml_00.exe".
    124. 

  124. se clean test_xml_00.e
    125. 

  125. Removing (-no_split -boost) "test_xml_00.exe".
    126. 

  126. se c -no_split -no_gc -boost test_xml_00.e -o test_xml_00.exe
    127. 

  127. Running (-no_split -no_gc -boost) "test_xml_00.exe".
    128. 

  128. se clean test_xml_00.e
    129. 

  129. Removing (-no_split -no_gc -boost) "test_xml_00.exe".
    130. 

  130. --------------------------------------------------------------------------------
    131. 

  131. All entries of the "excluded.lst" file are used (good).
    132. 

  132. --------------------------------------------------------------------------------
    133. 

  133. End of "se test" log file ("log.new" should be identical with "log.ref").
    134. 

  134. Check that manually and overwrite "log.ref" with "log.new" if you agree.
    135.