/test/parser/eiffeltest/log.ref

http://github.com/tybor/Liberty · Unknown · 134 lines · 134 code · 0 blank · 0 comment · 0 complexity · 79c8471f5b4b7e253fb4dccff3206f72 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_parser.e -o test_parser.exe
    11. 

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

  12. se clean test_parser.e
    13. 

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

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

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

  16. se clean test_parser.e
    17. 

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

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

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

  20. se clean test_parser.e
    21. 

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

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

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

  24. se clean test_parser.e
    25. 

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

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

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

  28. se clean test_parser.e
    29. 

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

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

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

  32. se clean test_parser.e
    33. 

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

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

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

  36. se clean test_parser.e
    37. 

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

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

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

  40. se clean test_parser.e
    41. 

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

  62. se clean test_parser.e
    63. 

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

  124. se clean test_parser.e
    125. 

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

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

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

  128. se clean test_parser.e
    129. 

  129. Removing (-no_split -no_gc -boost) "test_parser.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.