This log file was generated by "se test" version #1.0. The "log.new" file must be identical to the "log.ref" file. The reference file is "log.ref" and this file must be created manually. If you confirm that "log.new" is correct, just overwrite "log.ref" with "log.new". -------------------------------------------------------------------------------- Found 2 test_* files. Found 0 bad_* files. Found 0 subdirectories. -------------------------------------------------------------------------------- se c -boost test_bounded_by.e -o test_bounded_by.exe Running (-boost) "test_bounded_by.exe". se clean test_bounded_by.e Removing (-boost) "test_bounded_by.exe". se c -flat_check -all_check -debug test_bounded_by.e -o test_bounded_by.exe Running (-flat_check -all_check -debug) "test_bounded_by.exe". se clean test_bounded_by.e Removing (-flat_check -all_check -debug) "test_bounded_by.exe". se c -no_check test_bounded_by.e -o test_bounded_by.exe Running (-no_check) "test_bounded_by.exe". se clean test_bounded_by.e Removing (-no_check) "test_bounded_by.exe". se c -flat_check -require_check test_bounded_by.e -o test_bounded_by.exe Running (-flat_check -require_check) "test_bounded_by.exe". se clean test_bounded_by.e Removing (-flat_check -require_check) "test_bounded_by.exe". se c -flat_check -ensure_check test_bounded_by.e -o test_bounded_by.exe Running (-flat_check -ensure_check) "test_bounded_by.exe". se clean test_bounded_by.e Removing (-flat_check -ensure_check) "test_bounded_by.exe". se c -flat_check -invariant_check test_bounded_by.e -o test_bounded_by.exe Running (-flat_check -invariant_check) "test_bounded_by.exe". se clean test_bounded_by.e Removing (-flat_check -invariant_check) "test_bounded_by.exe". se c -flat_check -loop_check test_bounded_by.e -o test_bounded_by.exe Running (-flat_check -loop_check) "test_bounded_by.exe". se clean test_bounded_by.e Removing (-flat_check -loop_check) "test_bounded_by.exe". se c -flat_check -all_check test_bounded_by.e -o test_bounded_by.exe Running (-flat_check -all_check) "test_bounded_by.exe". se clean test_bounded_by.e Removing (-flat_check -all_check) "test_bounded_by.exe". Excluded command: "se c -no_gc -boost test_bounded_by.e -o test_bounded_by.exe". By excluded.lst: "se c -no_gc". Excluded command: "se c -no_gc -boost -debug test_bounded_by.e -o test_bounded_by.exe". By excluded.lst: "se c -no_gc". Excluded command: "se c -no_gc -no_check test_bounded_by.e -o test_bounded_by.exe". By excluded.lst: "se c -no_gc". Excluded command: "se c -no_gc -flat_check -require_check test_bounded_by.e -o test_bounded_by.exe". By excluded.lst: "se c -no_gc". Excluded command: "se c -no_gc -ensure_check test_bounded_by.e -o test_bounded_by.exe". By excluded.lst: "se c -no_gc". Excluded command: "se c -no_gc -flat_check -invariant_check test_bounded_by.e -o test_bounded_by.exe". By excluded.lst: "se c -no_gc". Excluded command: "se c -no_gc -flat_check -loop_check test_bounded_by.e -o test_bounded_by.exe". By excluded.lst: "se c -no_gc". Excluded command: "se c -no_gc -flat_check -all_check test_bounded_by.e -o test_bounded_by.exe". By excluded.lst: "se c -no_gc". se c -boost -bdw_gc test_bounded_by.e -o test_bounded_by.exe Running (-boost -bdw_gc) "test_bounded_by.exe". se clean test_bounded_by.e Removing (-boost -bdw_gc) "test_bounded_by.exe". se c -boost -debug -bdw_gc test_bounded_by.e -o test_bounded_by.exe Running (-boost -debug -bdw_gc) "test_bounded_by.exe". se clean test_bounded_by.e Removing (-boost -debug -bdw_gc) "test_bounded_by.exe". se c -no_check -bdw_gc test_bounded_by.e -o test_bounded_by.exe Running (-no_check -bdw_gc) "test_bounded_by.exe". se clean test_bounded_by.e Removing (-no_check -bdw_gc) "test_bounded_by.exe". se c -flat_check -require_check -bdw_gc test_bounded_by.e -o test_bounded_by.exe Running (-flat_check -require_check -bdw_gc) "test_bounded_by.exe". se clean test_bounded_by.e Removing (-flat_check -require_check -bdw_gc) "test_bounded_by.exe". Excluded command: "se c -ensure_check -bdw_gc test_bounded_by.e -o test_bounded_by.exe". By excluded.lst: "se c -ensure_check". se c -flat_check -invariant_check -bdw_gc test_bounded_by.e -o test_bounded_by.exe Running (-flat_check -invariant_check -bdw_gc) "test_bounded_by.exe". se clean test_bounded_by.e Removing (-flat_check -invariant_check -bdw_gc) "test_bounded_by.exe". se c -flat_check -loop_check -bdw_gc test_bounded_by.e -o test_bounded_by.exe Running (-flat_check -loop_check -bdw_gc) "test_bounded_by.exe". se clean test_bounded_by.e Removing (-flat_check -loop_check -bdw_gc) "test_bounded_by.exe". se c -flat_check -all_check -bdw_gc test_bounded_by.e -o test_bounded_by.exe Running (-flat_check -all_check -bdw_gc) "test_bounded_by.exe". se clean test_bounded_by.e Removing (-flat_check -all_check -bdw_gc) "test_bounded_by.exe". Excluded command: "se c -all_check -debug test_bounded_by.e -o test_bounded_by.exe". By excluded.lst: "se c -all_check". se c -require_check test_bounded_by.e -o test_bounded_by.exe Running (-require_check) "test_bounded_by.exe". se clean test_bounded_by.e Removing (-require_check) "test_bounded_by.exe". Excluded command: "se c -ensure_check test_bounded_by.e -o test_bounded_by.exe". By excluded.lst: "se c -ensure_check". Excluded command: "se c -invariant_check test_bounded_by.e -o test_bounded_by.exe". By excluded.lst: "se c -invariant_check". Excluded command: "se c -loop_check test_bounded_by.e -o test_bounded_by.exe". By excluded.lst: "se c -loop_check". Excluded command: "se c -all_check test_bounded_by.e -o test_bounded_by.exe". By excluded.lst: "se c -all_check". Excluded command: "se c -no_gc -require_check test_bounded_by.e -o test_bounded_by.exe". By excluded.lst: "se c -no_gc". Excluded command: "se c -no_gc -ensure_check test_bounded_by.e -o test_bounded_by.exe". By excluded.lst: "se c -no_gc". Excluded command: "se c -no_gc -invariant_check test_bounded_by.e -o test_bounded_by.exe". By excluded.lst: "se c -no_gc". Excluded command: "se c -no_gc -loop_check test_bounded_by.e -o test_bounded_by.exe". By excluded.lst: "se c -no_gc". Excluded command: "se c -no_gc -all_check test_bounded_by.e -o test_bounded_by.exe". By excluded.lst: "se c -no_gc". se c -require_check -bdw_gc test_bounded_by.e -o test_bounded_by.exe Running (-require_check -bdw_gc) "test_bounded_by.exe". se clean test_bounded_by.e Removing (-require_check -bdw_gc) "test_bounded_by.exe". Excluded command: "se c -ensure_check -bdw_gc test_bounded_by.e -o test_bounded_by.exe". By excluded.lst: "se c -ensure_check". Excluded command: "se c -invariant_check -bdw_gc test_bounded_by.e -o test_bounded_by.exe". By excluded.lst: "se c -invariant_check". Excluded command: "se c -loop_check -bdw_gc test_bounded_by.e -o test_bounded_by.exe". By excluded.lst: "se c -loop_check". Excluded command: "se c -all_check -bdw_gc test_bounded_by.e -o test_bounded_by.exe". By excluded.lst: "se c -all_check". Excluded command: "se c -profile -boost test_bounded_by.e -o test_bounded_by.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -all_check -debug test_bounded_by.e -o test_bounded_by.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -no_check test_bounded_by.e -o test_bounded_by.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -require_check test_bounded_by.e -o test_bounded_by.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -ensure_check test_bounded_by.e -o test_bounded_by.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -invariant_check test_bounded_by.e -o test_bounded_by.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -loop_check test_bounded_by.e -o test_bounded_by.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -all_check test_bounded_by.e -o test_bounded_by.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -no_gc -boost test_bounded_by.e -o test_bounded_by.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -no_gc -no_check test_bounded_by.e -o test_bounded_by.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -no_gc -require_check test_bounded_by.e -o test_bounded_by.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -no_gc -ensure_check test_bounded_by.e -o test_bounded_by.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -no_gc -invariant_check test_bounded_by.e -o test_bounded_by.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -no_gc -loop_check test_bounded_by.e -o test_bounded_by.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -no_gc -all_check test_bounded_by.e -o test_bounded_by.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -boost -bdw_gc test_bounded_by.e -o test_bounded_by.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -no_check -bdw_gc test_bounded_by.e -o test_bounded_by.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -require_check -bdw_gc test_bounded_by.e -o test_bounded_by.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -ensure_check -bdw_gc test_bounded_by.e -o test_bounded_by.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -invariant_check -bdw_gc test_bounded_by.e -o test_bounded_by.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -loop_check -bdw_gc test_bounded_by.e -o test_bounded_by.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -all_check -bdw_gc test_bounded_by.e -o test_bounded_by.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -flat_check -require_check test_bounded_by.e -o test_bounded_by.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -flat_check -ensure_check test_bounded_by.e -o test_bounded_by.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -flat_check -invariant_check test_bounded_by.e -o test_bounded_by.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -flat_check -loop_check test_bounded_by.e -o test_bounded_by.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -flat_check -all_check test_bounded_by.e -o test_bounded_by.exe". By excluded.lst: "se c -profile". se c -no_split -boost test_bounded_by.e -o test_bounded_by.exe Running (-no_split -boost) "test_bounded_by.exe". se clean test_bounded_by.e Removing (-no_split -boost) "test_bounded_by.exe". se c -no_split -no_gc -boost test_bounded_by.e -o test_bounded_by.exe Running (-no_split -no_gc -boost) "test_bounded_by.exe". se clean test_bounded_by.e Removing (-no_split -no_gc -boost) "test_bounded_by.exe". se c -no_split -boost -bdw_gc test_bounded_by.e -o test_bounded_by.exe Running (-no_split -boost -bdw_gc) "test_bounded_by.exe". se clean test_bounded_by.e Removing (-no_split -boost -bdw_gc) "test_bounded_by.exe". se c -boost test_min_max.e -o test_min_max.exe Running (-boost) "test_min_max.exe". se clean test_min_max.e Removing (-boost) "test_min_max.exe". se c -flat_check -all_check -debug test_min_max.e -o test_min_max.exe Running (-flat_check -all_check -debug) "test_min_max.exe". se clean test_min_max.e Removing (-flat_check -all_check -debug) "test_min_max.exe". se c -no_check test_min_max.e -o test_min_max.exe Running (-no_check) "test_min_max.exe". se clean test_min_max.e Removing (-no_check) "test_min_max.exe". se c -flat_check -require_check test_min_max.e -o test_min_max.exe Running (-flat_check -require_check) "test_min_max.exe". se clean test_min_max.e Removing (-flat_check -require_check) "test_min_max.exe". se c -flat_check -ensure_check test_min_max.e -o test_min_max.exe Running (-flat_check -ensure_check) "test_min_max.exe". se clean test_min_max.e Removing (-flat_check -ensure_check) "test_min_max.exe". se c -flat_check -invariant_check test_min_max.e -o test_min_max.exe Running (-flat_check -invariant_check) "test_min_max.exe". se clean test_min_max.e Removing (-flat_check -invariant_check) "test_min_max.exe". se c -flat_check -loop_check test_min_max.e -o test_min_max.exe Running (-flat_check -loop_check) "test_min_max.exe". se clean test_min_max.e Removing (-flat_check -loop_check) "test_min_max.exe". se c -flat_check -all_check test_min_max.e -o test_min_max.exe Running (-flat_check -all_check) "test_min_max.exe". se clean test_min_max.e Removing (-flat_check -all_check) "test_min_max.exe". Excluded command: "se c -no_gc -boost test_min_max.e -o test_min_max.exe". By excluded.lst: "se c -no_gc". Excluded command: "se c -no_gc -boost -debug test_min_max.e -o test_min_max.exe". By excluded.lst: "se c -no_gc". Excluded command: "se c -no_gc -no_check test_min_max.e -o test_min_max.exe". By excluded.lst: "se c -no_gc". Excluded command: "se c -no_gc -flat_check -require_check test_min_max.e -o test_min_max.exe". By excluded.lst: "se c -no_gc". Excluded command: "se c -no_gc -ensure_check test_min_max.e -o test_min_max.exe". By excluded.lst: "se c -no_gc". Excluded command: "se c -no_gc -flat_check -invariant_check test_min_max.e -o test_min_max.exe". By excluded.lst: "se c -no_gc". Excluded command: "se c -no_gc -flat_check -loop_check test_min_max.e -o test_min_max.exe". By excluded.lst: "se c -no_gc". Excluded command: "se c -no_gc -flat_check -all_check test_min_max.e -o test_min_max.exe". By excluded.lst: "se c -no_gc". se c -boost -bdw_gc test_min_max.e -o test_min_max.exe Running (-boost -bdw_gc) "test_min_max.exe". se clean test_min_max.e Removing (-boost -bdw_gc) "test_min_max.exe". se c -boost -debug -bdw_gc test_min_max.e -o test_min_max.exe Running (-boost -debug -bdw_gc) "test_min_max.exe". se clean test_min_max.e Removing (-boost -debug -bdw_gc) "test_min_max.exe". se c -no_check -bdw_gc test_min_max.e -o test_min_max.exe Running (-no_check -bdw_gc) "test_min_max.exe". se clean test_min_max.e Removing (-no_check -bdw_gc) "test_min_max.exe". se c -flat_check -require_check -bdw_gc test_min_max.e -o test_min_max.exe Running (-flat_check -require_check -bdw_gc) "test_min_max.exe". se clean test_min_max.e Removing (-flat_check -require_check -bdw_gc) "test_min_max.exe". Excluded command: "se c -ensure_check -bdw_gc test_min_max.e -o test_min_max.exe". By excluded.lst: "se c -ensure_check". se c -flat_check -invariant_check -bdw_gc test_min_max.e -o test_min_max.exe Running (-flat_check -invariant_check -bdw_gc) "test_min_max.exe". se clean test_min_max.e Removing (-flat_check -invariant_check -bdw_gc) "test_min_max.exe". se c -flat_check -loop_check -bdw_gc test_min_max.e -o test_min_max.exe Running (-flat_check -loop_check -bdw_gc) "test_min_max.exe". se clean test_min_max.e Removing (-flat_check -loop_check -bdw_gc) "test_min_max.exe". se c -flat_check -all_check -bdw_gc test_min_max.e -o test_min_max.exe Running (-flat_check -all_check -bdw_gc) "test_min_max.exe". se clean test_min_max.e Removing (-flat_check -all_check -bdw_gc) "test_min_max.exe". Excluded command: "se c -all_check -debug test_min_max.e -o test_min_max.exe". By excluded.lst: "se c -all_check". se c -require_check test_min_max.e -o test_min_max.exe Running (-require_check) "test_min_max.exe". se clean test_min_max.e Removing (-require_check) "test_min_max.exe". Excluded command: "se c -ensure_check test_min_max.e -o test_min_max.exe". By excluded.lst: "se c -ensure_check". Excluded command: "se c -invariant_check test_min_max.e -o test_min_max.exe". By excluded.lst: "se c -invariant_check". Excluded command: "se c -loop_check test_min_max.e -o test_min_max.exe". By excluded.lst: "se c -loop_check". Excluded command: "se c -all_check test_min_max.e -o test_min_max.exe". By excluded.lst: "se c -all_check". Excluded command: "se c -no_gc -require_check test_min_max.e -o test_min_max.exe". By excluded.lst: "se c -no_gc". Excluded command: "se c -no_gc -ensure_check test_min_max.e -o test_min_max.exe". By excluded.lst: "se c -no_gc". Excluded command: "se c -no_gc -invariant_check test_min_max.e -o test_min_max.exe". By excluded.lst: "se c -no_gc". Excluded command: "se c -no_gc -loop_check test_min_max.e -o test_min_max.exe". By excluded.lst: "se c -no_gc". Excluded command: "se c -no_gc -all_check test_min_max.e -o test_min_max.exe". By excluded.lst: "se c -no_gc". se c -require_check -bdw_gc test_min_max.e -o test_min_max.exe Running (-require_check -bdw_gc) "test_min_max.exe". se clean test_min_max.e Removing (-require_check -bdw_gc) "test_min_max.exe". Excluded command: "se c -ensure_check -bdw_gc test_min_max.e -o test_min_max.exe". By excluded.lst: "se c -ensure_check". Excluded command: "se c -invariant_check -bdw_gc test_min_max.e -o test_min_max.exe". By excluded.lst: "se c -invariant_check". Excluded command: "se c -loop_check -bdw_gc test_min_max.e -o test_min_max.exe". By excluded.lst: "se c -loop_check". Excluded command: "se c -all_check -bdw_gc test_min_max.e -o test_min_max.exe". By excluded.lst: "se c -all_check". Excluded command: "se c -profile -boost test_min_max.e -o test_min_max.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -all_check -debug test_min_max.e -o test_min_max.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -no_check test_min_max.e -o test_min_max.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -require_check test_min_max.e -o test_min_max.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -ensure_check test_min_max.e -o test_min_max.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -invariant_check test_min_max.e -o test_min_max.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -loop_check test_min_max.e -o test_min_max.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -all_check test_min_max.e -o test_min_max.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -no_gc -boost test_min_max.e -o test_min_max.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -no_gc -no_check test_min_max.e -o test_min_max.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -no_gc -require_check test_min_max.e -o test_min_max.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -no_gc -ensure_check test_min_max.e -o test_min_max.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -no_gc -invariant_check test_min_max.e -o test_min_max.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -no_gc -loop_check test_min_max.e -o test_min_max.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -no_gc -all_check test_min_max.e -o test_min_max.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -boost -bdw_gc test_min_max.e -o test_min_max.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -no_check -bdw_gc test_min_max.e -o test_min_max.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -require_check -bdw_gc test_min_max.e -o test_min_max.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -ensure_check -bdw_gc test_min_max.e -o test_min_max.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -invariant_check -bdw_gc test_min_max.e -o test_min_max.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -loop_check -bdw_gc test_min_max.e -o test_min_max.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -all_check -bdw_gc test_min_max.e -o test_min_max.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -flat_check -require_check test_min_max.e -o test_min_max.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -flat_check -ensure_check test_min_max.e -o test_min_max.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -flat_check -invariant_check test_min_max.e -o test_min_max.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -flat_check -loop_check test_min_max.e -o test_min_max.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -flat_check -all_check test_min_max.e -o test_min_max.exe". By excluded.lst: "se c -profile". se c -no_split -boost test_min_max.e -o test_min_max.exe Running (-no_split -boost) "test_min_max.exe". se clean test_min_max.e Removing (-no_split -boost) "test_min_max.exe". se c -no_split -no_gc -boost test_min_max.e -o test_min_max.exe Running (-no_split -no_gc -boost) "test_min_max.exe". se clean test_min_max.e Removing (-no_split -no_gc -boost) "test_min_max.exe". se c -no_split -boost -bdw_gc test_min_max.e -o test_min_max.exe Running (-no_split -boost -bdw_gc) "test_min_max.exe". se clean test_min_max.e Removing (-no_split -boost -bdw_gc) "test_min_max.exe". -------------------------------------------------------------------------------- All entries of the "excluded.lst" file are used (good). -------------------------------------------------------------------------------- End of "se test" log file ("log.new" should be identical with "log.ref"). Check that manually and overwrite "log.ref" with "log.new" if you agree.