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 1 test_* file. Found 0 bad_* files. Found 0 subdirectories. -------------------------------------------------------------------------------- se c -boost test_automaton_01.e -o test_automaton_01.exe Running (-boost) "test_automaton_01.exe". se clean test_automaton_01.e Removing (-boost) "test_automaton_01.exe". se c -flat_check -all_check -debug test_automaton_01.e -o test_automaton_01.exe Running (-flat_check -all_check -debug) "test_automaton_01.exe". se clean test_automaton_01.e Removing (-flat_check -all_check -debug) "test_automaton_01.exe". se c -no_check test_automaton_01.e -o test_automaton_01.exe Running (-no_check) "test_automaton_01.exe". se clean test_automaton_01.e Removing (-no_check) "test_automaton_01.exe". se c -flat_check -require_check test_automaton_01.e -o test_automaton_01.exe Running (-flat_check -require_check) "test_automaton_01.exe". se clean test_automaton_01.e Removing (-flat_check -require_check) "test_automaton_01.exe". se c -flat_check -ensure_check test_automaton_01.e -o test_automaton_01.exe Running (-flat_check -ensure_check) "test_automaton_01.exe". se clean test_automaton_01.e Removing (-flat_check -ensure_check) "test_automaton_01.exe". se c -flat_check -invariant_check test_automaton_01.e -o test_automaton_01.exe Running (-flat_check -invariant_check) "test_automaton_01.exe". se clean test_automaton_01.e Removing (-flat_check -invariant_check) "test_automaton_01.exe". se c -flat_check -loop_check test_automaton_01.e -o test_automaton_01.exe Running (-flat_check -loop_check) "test_automaton_01.exe". se clean test_automaton_01.e Removing (-flat_check -loop_check) "test_automaton_01.exe". se c -flat_check -all_check test_automaton_01.e -o test_automaton_01.exe Running (-flat_check -all_check) "test_automaton_01.exe". se clean test_automaton_01.e Removing (-flat_check -all_check) "test_automaton_01.exe". Excluded command: "se c -no_gc -boost test_automaton_01.e -o test_automaton_01.exe". By excluded.lst: "se c -no_gc". Excluded command: "se c -no_gc -boost -debug test_automaton_01.e -o test_automaton_01.exe". By excluded.lst: "se c -no_gc". Excluded command: "se c -no_gc -no_check test_automaton_01.e -o test_automaton_01.exe". By excluded.lst: "se c -no_gc". Excluded command: "se c -no_gc -flat_check -require_check test_automaton_01.e -o test_automaton_01.exe". By excluded.lst: "se c -no_gc". Excluded command: "se c -no_gc -ensure_check test_automaton_01.e -o test_automaton_01.exe". By excluded.lst: "se c -no_gc". Excluded command: "se c -no_gc -flat_check -invariant_check test_automaton_01.e -o test_automaton_01.exe". By excluded.lst: "se c -no_gc". Excluded command: "se c -no_gc -flat_check -loop_check test_automaton_01.e -o test_automaton_01.exe". By excluded.lst: "se c -no_gc". Excluded command: "se c -no_gc -flat_check -all_check test_automaton_01.e -o test_automaton_01.exe". By excluded.lst: "se c -no_gc". se c -boost -bdw_gc test_automaton_01.e -o test_automaton_01.exe Running (-boost -bdw_gc) "test_automaton_01.exe". se clean test_automaton_01.e Removing (-boost -bdw_gc) "test_automaton_01.exe". se c -boost -debug -bdw_gc test_automaton_01.e -o test_automaton_01.exe Running (-boost -debug -bdw_gc) "test_automaton_01.exe". se clean test_automaton_01.e Removing (-boost -debug -bdw_gc) "test_automaton_01.exe". se c -no_check -bdw_gc test_automaton_01.e -o test_automaton_01.exe Running (-no_check -bdw_gc) "test_automaton_01.exe". se clean test_automaton_01.e Removing (-no_check -bdw_gc) "test_automaton_01.exe". se c -flat_check -require_check -bdw_gc test_automaton_01.e -o test_automaton_01.exe Running (-flat_check -require_check -bdw_gc) "test_automaton_01.exe". se clean test_automaton_01.e Removing (-flat_check -require_check -bdw_gc) "test_automaton_01.exe". Excluded command: "se c -ensure_check -bdw_gc test_automaton_01.e -o test_automaton_01.exe". By excluded.lst: "se c -ensure_check". se c -flat_check -invariant_check -bdw_gc test_automaton_01.e -o test_automaton_01.exe Running (-flat_check -invariant_check -bdw_gc) "test_automaton_01.exe". se clean test_automaton_01.e Removing (-flat_check -invariant_check -bdw_gc) "test_automaton_01.exe". se c -flat_check -loop_check -bdw_gc test_automaton_01.e -o test_automaton_01.exe Running (-flat_check -loop_check -bdw_gc) "test_automaton_01.exe". se clean test_automaton_01.e Removing (-flat_check -loop_check -bdw_gc) "test_automaton_01.exe". se c -flat_check -all_check -bdw_gc test_automaton_01.e -o test_automaton_01.exe Running (-flat_check -all_check -bdw_gc) "test_automaton_01.exe". se clean test_automaton_01.e Removing (-flat_check -all_check -bdw_gc) "test_automaton_01.exe". Excluded command: "se c -all_check -debug test_automaton_01.e -o test_automaton_01.exe". By excluded.lst: "se c -all_check -debug". se c -require_check test_automaton_01.e -o test_automaton_01.exe Running (-require_check) "test_automaton_01.exe". se clean test_automaton_01.e Removing (-require_check) "test_automaton_01.exe". Excluded command: "se c -ensure_check test_automaton_01.e -o test_automaton_01.exe". By excluded.lst: "se c -ensure_check". Excluded command: "se c -invariant_check test_automaton_01.e -o test_automaton_01.exe". By excluded.lst: "se c -invariant_check". Excluded command: "se c -loop_check test_automaton_01.e -o test_automaton_01.exe". By excluded.lst: "se c -loop_check". Excluded command: "se c -all_check test_automaton_01.e -o test_automaton_01.exe". By excluded.lst: "se c -all_check". Excluded command: "se c -no_gc -require_check test_automaton_01.e -o test_automaton_01.exe". By excluded.lst: "se c -no_gc". Excluded command: "se c -no_gc -ensure_check test_automaton_01.e -o test_automaton_01.exe". By excluded.lst: "se c -no_gc". Excluded command: "se c -no_gc -invariant_check test_automaton_01.e -o test_automaton_01.exe". By excluded.lst: "se c -no_gc". Excluded command: "se c -no_gc -loop_check test_automaton_01.e -o test_automaton_01.exe". By excluded.lst: "se c -no_gc". Excluded command: "se c -no_gc -all_check test_automaton_01.e -o test_automaton_01.exe". By excluded.lst: "se c -no_gc". se c -require_check -bdw_gc test_automaton_01.e -o test_automaton_01.exe Running (-require_check -bdw_gc) "test_automaton_01.exe". se clean test_automaton_01.e Removing (-require_check -bdw_gc) "test_automaton_01.exe". Excluded command: "se c -ensure_check -bdw_gc test_automaton_01.e -o test_automaton_01.exe". By excluded.lst: "se c -ensure_check". Excluded command: "se c -invariant_check -bdw_gc test_automaton_01.e -o test_automaton_01.exe". By excluded.lst: "se c -invariant_check". Excluded command: "se c -loop_check -bdw_gc test_automaton_01.e -o test_automaton_01.exe". By excluded.lst: "se c -loop_check". Excluded command: "se c -all_check -bdw_gc test_automaton_01.e -o test_automaton_01.exe". By excluded.lst: "se c -all_check". Excluded command: "se c -profile -boost test_automaton_01.e -o test_automaton_01.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -all_check -debug test_automaton_01.e -o test_automaton_01.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -no_check test_automaton_01.e -o test_automaton_01.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -require_check test_automaton_01.e -o test_automaton_01.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -ensure_check test_automaton_01.e -o test_automaton_01.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -invariant_check test_automaton_01.e -o test_automaton_01.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -loop_check test_automaton_01.e -o test_automaton_01.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -all_check test_automaton_01.e -o test_automaton_01.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -no_gc -boost test_automaton_01.e -o test_automaton_01.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -no_gc -no_check test_automaton_01.e -o test_automaton_01.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -no_gc -require_check test_automaton_01.e -o test_automaton_01.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -no_gc -ensure_check test_automaton_01.e -o test_automaton_01.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -no_gc -invariant_check test_automaton_01.e -o test_automaton_01.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -no_gc -loop_check test_automaton_01.e -o test_automaton_01.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -no_gc -all_check test_automaton_01.e -o test_automaton_01.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -boost -bdw_gc test_automaton_01.e -o test_automaton_01.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -no_check -bdw_gc test_automaton_01.e -o test_automaton_01.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -require_check -bdw_gc test_automaton_01.e -o test_automaton_01.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -ensure_check -bdw_gc test_automaton_01.e -o test_automaton_01.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -invariant_check -bdw_gc test_automaton_01.e -o test_automaton_01.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -loop_check -bdw_gc test_automaton_01.e -o test_automaton_01.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -all_check -bdw_gc test_automaton_01.e -o test_automaton_01.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -flat_check -require_check test_automaton_01.e -o test_automaton_01.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -flat_check -ensure_check test_automaton_01.e -o test_automaton_01.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -flat_check -invariant_check test_automaton_01.e -o test_automaton_01.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -flat_check -loop_check test_automaton_01.e -o test_automaton_01.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -flat_check -all_check test_automaton_01.e -o test_automaton_01.exe". By excluded.lst: "se c -profile". se c -no_split -boost test_automaton_01.e -o test_automaton_01.exe Running (-no_split -boost) "test_automaton_01.exe". se clean test_automaton_01.e Removing (-no_split -boost) "test_automaton_01.exe". se c -no_split -no_gc -boost test_automaton_01.e -o test_automaton_01.exe Running (-no_split -no_gc -boost) "test_automaton_01.exe". se clean test_automaton_01.e Removing (-no_split -no_gc -boost) "test_automaton_01.exe". se c -no_split -boost -bdw_gc test_automaton_01.e -o test_automaton_01.exe Running (-no_split -boost -bdw_gc) "test_automaton_01.exe". se clean test_automaton_01.e Removing (-no_split -boost -bdw_gc) "test_automaton_01.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.