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_ifthenelse.e -o test_ifthenelse.exe Running (-boost) "test_ifthenelse.exe". se clean test_ifthenelse.e Removing (-boost) "test_ifthenelse.exe". se c -flat_check -all_check -debug test_ifthenelse.e -o test_ifthenelse.exe Running (-flat_check -all_check -debug) "test_ifthenelse.exe". se clean test_ifthenelse.e Removing (-flat_check -all_check -debug) "test_ifthenelse.exe". se c -no_check test_ifthenelse.e -o test_ifthenelse.exe Running (-no_check) "test_ifthenelse.exe". se clean test_ifthenelse.e Removing (-no_check) "test_ifthenelse.exe". se c -flat_check -require_check test_ifthenelse.e -o test_ifthenelse.exe Running (-flat_check -require_check) "test_ifthenelse.exe". se clean test_ifthenelse.e Removing (-flat_check -require_check) "test_ifthenelse.exe". se c -flat_check -ensure_check test_ifthenelse.e -o test_ifthenelse.exe Running (-flat_check -ensure_check) "test_ifthenelse.exe". se clean test_ifthenelse.e Removing (-flat_check -ensure_check) "test_ifthenelse.exe". se c -flat_check -invariant_check test_ifthenelse.e -o test_ifthenelse.exe Running (-flat_check -invariant_check) "test_ifthenelse.exe". se clean test_ifthenelse.e Removing (-flat_check -invariant_check) "test_ifthenelse.exe". se c -flat_check -loop_check test_ifthenelse.e -o test_ifthenelse.exe Running (-flat_check -loop_check) "test_ifthenelse.exe". se clean test_ifthenelse.e Removing (-flat_check -loop_check) "test_ifthenelse.exe". se c -flat_check -all_check test_ifthenelse.e -o test_ifthenelse.exe Running (-flat_check -all_check) "test_ifthenelse.exe". se clean test_ifthenelse.e Removing (-flat_check -all_check) "test_ifthenelse.exe". Excluded command: "se c -no_gc -boost test_ifthenelse.e -o test_ifthenelse.exe". By excluded.lst: "se c -no_gc". Excluded command: "se c -no_gc -boost -debug test_ifthenelse.e -o test_ifthenelse.exe". By excluded.lst: "se c -no_gc". Excluded command: "se c -no_gc -no_check test_ifthenelse.e -o test_ifthenelse.exe". By excluded.lst: "se c -no_gc". Excluded command: "se c -no_gc -flat_check -require_check test_ifthenelse.e -o test_ifthenelse.exe". By excluded.lst: "se c -no_gc". Excluded command: "se c -no_gc -ensure_check test_ifthenelse.e -o test_ifthenelse.exe". By excluded.lst: "se c -no_gc". Excluded command: "se c -no_gc -flat_check -invariant_check test_ifthenelse.e -o test_ifthenelse.exe". By excluded.lst: "se c -no_gc". Excluded command: "se c -no_gc -flat_check -loop_check test_ifthenelse.e -o test_ifthenelse.exe". By excluded.lst: "se c -no_gc". Excluded command: "se c -no_gc -flat_check -all_check test_ifthenelse.e -o test_ifthenelse.exe". By excluded.lst: "se c -no_gc". se c -boost -bdw_gc test_ifthenelse.e -o test_ifthenelse.exe Running (-boost -bdw_gc) "test_ifthenelse.exe". se clean test_ifthenelse.e Removing (-boost -bdw_gc) "test_ifthenelse.exe". se c -boost -debug -bdw_gc test_ifthenelse.e -o test_ifthenelse.exe Running (-boost -debug -bdw_gc) "test_ifthenelse.exe". se clean test_ifthenelse.e Removing (-boost -debug -bdw_gc) "test_ifthenelse.exe". se c -no_check -bdw_gc test_ifthenelse.e -o test_ifthenelse.exe Running (-no_check -bdw_gc) "test_ifthenelse.exe". se clean test_ifthenelse.e Removing (-no_check -bdw_gc) "test_ifthenelse.exe". se c -flat_check -require_check -bdw_gc test_ifthenelse.e -o test_ifthenelse.exe Running (-flat_check -require_check -bdw_gc) "test_ifthenelse.exe". se clean test_ifthenelse.e Removing (-flat_check -require_check -bdw_gc) "test_ifthenelse.exe". Excluded command: "se c -ensure_check -bdw_gc test_ifthenelse.e -o test_ifthenelse.exe". By excluded.lst: "se c -ensure_check". se c -flat_check -invariant_check -bdw_gc test_ifthenelse.e -o test_ifthenelse.exe Running (-flat_check -invariant_check -bdw_gc) "test_ifthenelse.exe". se clean test_ifthenelse.e Removing (-flat_check -invariant_check -bdw_gc) "test_ifthenelse.exe". se c -flat_check -loop_check -bdw_gc test_ifthenelse.e -o test_ifthenelse.exe Running (-flat_check -loop_check -bdw_gc) "test_ifthenelse.exe". se clean test_ifthenelse.e Removing (-flat_check -loop_check -bdw_gc) "test_ifthenelse.exe". se c -flat_check -all_check -bdw_gc test_ifthenelse.e -o test_ifthenelse.exe Running (-flat_check -all_check -bdw_gc) "test_ifthenelse.exe". se clean test_ifthenelse.e Removing (-flat_check -all_check -bdw_gc) "test_ifthenelse.exe". Excluded command: "se c -all_check -debug test_ifthenelse.e -o test_ifthenelse.exe". By excluded.lst: "se c -all_check -debug". se c -require_check test_ifthenelse.e -o test_ifthenelse.exe Running (-require_check) "test_ifthenelse.exe". se clean test_ifthenelse.e Removing (-require_check) "test_ifthenelse.exe". Excluded command: "se c -ensure_check test_ifthenelse.e -o test_ifthenelse.exe". By excluded.lst: "se c -ensure_check". Excluded command: "se c -invariant_check test_ifthenelse.e -o test_ifthenelse.exe". By excluded.lst: "se c -invariant_check". Excluded command: "se c -loop_check test_ifthenelse.e -o test_ifthenelse.exe". By excluded.lst: "se c -loop_check". Excluded command: "se c -all_check test_ifthenelse.e -o test_ifthenelse.exe". By excluded.lst: "se c -all_check". Excluded command: "se c -no_gc -require_check test_ifthenelse.e -o test_ifthenelse.exe". By excluded.lst: "se c -no_gc". Excluded command: "se c -no_gc -ensure_check test_ifthenelse.e -o test_ifthenelse.exe". By excluded.lst: "se c -no_gc". Excluded command: "se c -no_gc -invariant_check test_ifthenelse.e -o test_ifthenelse.exe". By excluded.lst: "se c -no_gc". Excluded command: "se c -no_gc -loop_check test_ifthenelse.e -o test_ifthenelse.exe". By excluded.lst: "se c -no_gc". Excluded command: "se c -no_gc -all_check test_ifthenelse.e -o test_ifthenelse.exe". By excluded.lst: "se c -no_gc". se c -require_check -bdw_gc test_ifthenelse.e -o test_ifthenelse.exe Running (-require_check -bdw_gc) "test_ifthenelse.exe". se clean test_ifthenelse.e Removing (-require_check -bdw_gc) "test_ifthenelse.exe". Excluded command: "se c -ensure_check -bdw_gc test_ifthenelse.e -o test_ifthenelse.exe". By excluded.lst: "se c -ensure_check". Excluded command: "se c -invariant_check -bdw_gc test_ifthenelse.e -o test_ifthenelse.exe". By excluded.lst: "se c -invariant_check". Excluded command: "se c -loop_check -bdw_gc test_ifthenelse.e -o test_ifthenelse.exe". By excluded.lst: "se c -loop_check". Excluded command: "se c -all_check -bdw_gc test_ifthenelse.e -o test_ifthenelse.exe". By excluded.lst: "se c -all_check". Excluded command: "se c -profile -boost test_ifthenelse.e -o test_ifthenelse.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -all_check -debug test_ifthenelse.e -o test_ifthenelse.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -no_check test_ifthenelse.e -o test_ifthenelse.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -require_check test_ifthenelse.e -o test_ifthenelse.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -ensure_check test_ifthenelse.e -o test_ifthenelse.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -invariant_check test_ifthenelse.e -o test_ifthenelse.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -loop_check test_ifthenelse.e -o test_ifthenelse.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -all_check test_ifthenelse.e -o test_ifthenelse.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -no_gc -boost test_ifthenelse.e -o test_ifthenelse.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -no_gc -no_check test_ifthenelse.e -o test_ifthenelse.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -no_gc -require_check test_ifthenelse.e -o test_ifthenelse.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -no_gc -ensure_check test_ifthenelse.e -o test_ifthenelse.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -no_gc -invariant_check test_ifthenelse.e -o test_ifthenelse.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -no_gc -loop_check test_ifthenelse.e -o test_ifthenelse.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -no_gc -all_check test_ifthenelse.e -o test_ifthenelse.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -boost -bdw_gc test_ifthenelse.e -o test_ifthenelse.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -no_check -bdw_gc test_ifthenelse.e -o test_ifthenelse.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -require_check -bdw_gc test_ifthenelse.e -o test_ifthenelse.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -ensure_check -bdw_gc test_ifthenelse.e -o test_ifthenelse.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -invariant_check -bdw_gc test_ifthenelse.e -o test_ifthenelse.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -loop_check -bdw_gc test_ifthenelse.e -o test_ifthenelse.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -all_check -bdw_gc test_ifthenelse.e -o test_ifthenelse.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -flat_check -require_check test_ifthenelse.e -o test_ifthenelse.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -flat_check -ensure_check test_ifthenelse.e -o test_ifthenelse.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -flat_check -invariant_check test_ifthenelse.e -o test_ifthenelse.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -flat_check -loop_check test_ifthenelse.e -o test_ifthenelse.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -flat_check -all_check test_ifthenelse.e -o test_ifthenelse.exe". By excluded.lst: "se c -profile". se c -no_split -boost test_ifthenelse.e -o test_ifthenelse.exe Running (-no_split -boost) "test_ifthenelse.exe". se clean test_ifthenelse.e Removing (-no_split -boost) "test_ifthenelse.exe". se c -no_split -no_gc -boost test_ifthenelse.e -o test_ifthenelse.exe Running (-no_split -no_gc -boost) "test_ifthenelse.exe". se clean test_ifthenelse.e Removing (-no_split -no_gc -boost) "test_ifthenelse.exe". se c -no_split -boost -bdw_gc test_ifthenelse.e -o test_ifthenelse.exe Running (-no_split -boost -bdw_gc) "test_ifthenelse.exe". se clean test_ifthenelse.e Removing (-no_split -boost -bdw_gc) "test_ifthenelse.exe". se c -boost test_ifthenelse_exp.e -o test_ifthenelse_exp.exe Running (-boost) "test_ifthenelse_exp.exe". se clean test_ifthenelse_exp.e Removing (-boost) "test_ifthenelse_exp.exe". se c -flat_check -all_check -debug test_ifthenelse_exp.e -o test_ifthenelse_exp.exe Running (-flat_check -all_check -debug) "test_ifthenelse_exp.exe". se clean test_ifthenelse_exp.e Removing (-flat_check -all_check -debug) "test_ifthenelse_exp.exe". se c -no_check test_ifthenelse_exp.e -o test_ifthenelse_exp.exe Running (-no_check) "test_ifthenelse_exp.exe". se clean test_ifthenelse_exp.e Removing (-no_check) "test_ifthenelse_exp.exe". se c -flat_check -require_check test_ifthenelse_exp.e -o test_ifthenelse_exp.exe Running (-flat_check -require_check) "test_ifthenelse_exp.exe". se clean test_ifthenelse_exp.e Removing (-flat_check -require_check) "test_ifthenelse_exp.exe". se c -flat_check -ensure_check test_ifthenelse_exp.e -o test_ifthenelse_exp.exe Running (-flat_check -ensure_check) "test_ifthenelse_exp.exe". se clean test_ifthenelse_exp.e Removing (-flat_check -ensure_check) "test_ifthenelse_exp.exe". se c -flat_check -invariant_check test_ifthenelse_exp.e -o test_ifthenelse_exp.exe Running (-flat_check -invariant_check) "test_ifthenelse_exp.exe". se clean test_ifthenelse_exp.e Removing (-flat_check -invariant_check) "test_ifthenelse_exp.exe". se c -flat_check -loop_check test_ifthenelse_exp.e -o test_ifthenelse_exp.exe Running (-flat_check -loop_check) "test_ifthenelse_exp.exe". se clean test_ifthenelse_exp.e Removing (-flat_check -loop_check) "test_ifthenelse_exp.exe". se c -flat_check -all_check test_ifthenelse_exp.e -o test_ifthenelse_exp.exe Running (-flat_check -all_check) "test_ifthenelse_exp.exe". se clean test_ifthenelse_exp.e Removing (-flat_check -all_check) "test_ifthenelse_exp.exe". Excluded command: "se c -no_gc -boost test_ifthenelse_exp.e -o test_ifthenelse_exp.exe". By excluded.lst: "se c -no_gc". Excluded command: "se c -no_gc -boost -debug test_ifthenelse_exp.e -o test_ifthenelse_exp.exe". By excluded.lst: "se c -no_gc". Excluded command: "se c -no_gc -no_check test_ifthenelse_exp.e -o test_ifthenelse_exp.exe". By excluded.lst: "se c -no_gc". Excluded command: "se c -no_gc -flat_check -require_check test_ifthenelse_exp.e -o test_ifthenelse_exp.exe". By excluded.lst: "se c -no_gc". Excluded command: "se c -no_gc -ensure_check test_ifthenelse_exp.e -o test_ifthenelse_exp.exe". By excluded.lst: "se c -no_gc". Excluded command: "se c -no_gc -flat_check -invariant_check test_ifthenelse_exp.e -o test_ifthenelse_exp.exe". By excluded.lst: "se c -no_gc". Excluded command: "se c -no_gc -flat_check -loop_check test_ifthenelse_exp.e -o test_ifthenelse_exp.exe". By excluded.lst: "se c -no_gc". Excluded command: "se c -no_gc -flat_check -all_check test_ifthenelse_exp.e -o test_ifthenelse_exp.exe". By excluded.lst: "se c -no_gc". se c -boost -bdw_gc test_ifthenelse_exp.e -o test_ifthenelse_exp.exe Running (-boost -bdw_gc) "test_ifthenelse_exp.exe". se clean test_ifthenelse_exp.e Removing (-boost -bdw_gc) "test_ifthenelse_exp.exe". se c -boost -debug -bdw_gc test_ifthenelse_exp.e -o test_ifthenelse_exp.exe Running (-boost -debug -bdw_gc) "test_ifthenelse_exp.exe". se clean test_ifthenelse_exp.e Removing (-boost -debug -bdw_gc) "test_ifthenelse_exp.exe". se c -no_check -bdw_gc test_ifthenelse_exp.e -o test_ifthenelse_exp.exe Running (-no_check -bdw_gc) "test_ifthenelse_exp.exe". se clean test_ifthenelse_exp.e Removing (-no_check -bdw_gc) "test_ifthenelse_exp.exe". se c -flat_check -require_check -bdw_gc test_ifthenelse_exp.e -o test_ifthenelse_exp.exe Running (-flat_check -require_check -bdw_gc) "test_ifthenelse_exp.exe". se clean test_ifthenelse_exp.e Removing (-flat_check -require_check -bdw_gc) "test_ifthenelse_exp.exe". Excluded command: "se c -ensure_check -bdw_gc test_ifthenelse_exp.e -o test_ifthenelse_exp.exe". By excluded.lst: "se c -ensure_check". se c -flat_check -invariant_check -bdw_gc test_ifthenelse_exp.e -o test_ifthenelse_exp.exe Running (-flat_check -invariant_check -bdw_gc) "test_ifthenelse_exp.exe". se clean test_ifthenelse_exp.e Removing (-flat_check -invariant_check -bdw_gc) "test_ifthenelse_exp.exe". se c -flat_check -loop_check -bdw_gc test_ifthenelse_exp.e -o test_ifthenelse_exp.exe Running (-flat_check -loop_check -bdw_gc) "test_ifthenelse_exp.exe". se clean test_ifthenelse_exp.e Removing (-flat_check -loop_check -bdw_gc) "test_ifthenelse_exp.exe". se c -flat_check -all_check -bdw_gc test_ifthenelse_exp.e -o test_ifthenelse_exp.exe Running (-flat_check -all_check -bdw_gc) "test_ifthenelse_exp.exe". se clean test_ifthenelse_exp.e Removing (-flat_check -all_check -bdw_gc) "test_ifthenelse_exp.exe". Excluded command: "se c -all_check -debug test_ifthenelse_exp.e -o test_ifthenelse_exp.exe". By excluded.lst: "se c -all_check -debug". se c -require_check test_ifthenelse_exp.e -o test_ifthenelse_exp.exe Running (-require_check) "test_ifthenelse_exp.exe". se clean test_ifthenelse_exp.e Removing (-require_check) "test_ifthenelse_exp.exe". Excluded command: "se c -ensure_check test_ifthenelse_exp.e -o test_ifthenelse_exp.exe". By excluded.lst: "se c -ensure_check". Excluded command: "se c -invariant_check test_ifthenelse_exp.e -o test_ifthenelse_exp.exe". By excluded.lst: "se c -invariant_check". Excluded command: "se c -loop_check test_ifthenelse_exp.e -o test_ifthenelse_exp.exe". By excluded.lst: "se c -loop_check". Excluded command: "se c -all_check test_ifthenelse_exp.e -o test_ifthenelse_exp.exe". By excluded.lst: "se c -all_check". Excluded command: "se c -no_gc -require_check test_ifthenelse_exp.e -o test_ifthenelse_exp.exe". By excluded.lst: "se c -no_gc". Excluded command: "se c -no_gc -ensure_check test_ifthenelse_exp.e -o test_ifthenelse_exp.exe". By excluded.lst: "se c -no_gc". Excluded command: "se c -no_gc -invariant_check test_ifthenelse_exp.e -o test_ifthenelse_exp.exe". By excluded.lst: "se c -no_gc". Excluded command: "se c -no_gc -loop_check test_ifthenelse_exp.e -o test_ifthenelse_exp.exe". By excluded.lst: "se c -no_gc". Excluded command: "se c -no_gc -all_check test_ifthenelse_exp.e -o test_ifthenelse_exp.exe". By excluded.lst: "se c -no_gc". se c -require_check -bdw_gc test_ifthenelse_exp.e -o test_ifthenelse_exp.exe Running (-require_check -bdw_gc) "test_ifthenelse_exp.exe". se clean test_ifthenelse_exp.e Removing (-require_check -bdw_gc) "test_ifthenelse_exp.exe". Excluded command: "se c -ensure_check -bdw_gc test_ifthenelse_exp.e -o test_ifthenelse_exp.exe". By excluded.lst: "se c -ensure_check". Excluded command: "se c -invariant_check -bdw_gc test_ifthenelse_exp.e -o test_ifthenelse_exp.exe". By excluded.lst: "se c -invariant_check". Excluded command: "se c -loop_check -bdw_gc test_ifthenelse_exp.e -o test_ifthenelse_exp.exe". By excluded.lst: "se c -loop_check". Excluded command: "se c -all_check -bdw_gc test_ifthenelse_exp.e -o test_ifthenelse_exp.exe". By excluded.lst: "se c -all_check". Excluded command: "se c -profile -boost test_ifthenelse_exp.e -o test_ifthenelse_exp.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -all_check -debug test_ifthenelse_exp.e -o test_ifthenelse_exp.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -no_check test_ifthenelse_exp.e -o test_ifthenelse_exp.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -require_check test_ifthenelse_exp.e -o test_ifthenelse_exp.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -ensure_check test_ifthenelse_exp.e -o test_ifthenelse_exp.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -invariant_check test_ifthenelse_exp.e -o test_ifthenelse_exp.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -loop_check test_ifthenelse_exp.e -o test_ifthenelse_exp.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -all_check test_ifthenelse_exp.e -o test_ifthenelse_exp.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -no_gc -boost test_ifthenelse_exp.e -o test_ifthenelse_exp.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -no_gc -no_check test_ifthenelse_exp.e -o test_ifthenelse_exp.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -no_gc -require_check test_ifthenelse_exp.e -o test_ifthenelse_exp.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -no_gc -ensure_check test_ifthenelse_exp.e -o test_ifthenelse_exp.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -no_gc -invariant_check test_ifthenelse_exp.e -o test_ifthenelse_exp.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -no_gc -loop_check test_ifthenelse_exp.e -o test_ifthenelse_exp.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -no_gc -all_check test_ifthenelse_exp.e -o test_ifthenelse_exp.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -boost -bdw_gc test_ifthenelse_exp.e -o test_ifthenelse_exp.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -no_check -bdw_gc test_ifthenelse_exp.e -o test_ifthenelse_exp.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -require_check -bdw_gc test_ifthenelse_exp.e -o test_ifthenelse_exp.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -ensure_check -bdw_gc test_ifthenelse_exp.e -o test_ifthenelse_exp.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -invariant_check -bdw_gc test_ifthenelse_exp.e -o test_ifthenelse_exp.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -loop_check -bdw_gc test_ifthenelse_exp.e -o test_ifthenelse_exp.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -all_check -bdw_gc test_ifthenelse_exp.e -o test_ifthenelse_exp.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -flat_check -require_check test_ifthenelse_exp.e -o test_ifthenelse_exp.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -flat_check -ensure_check test_ifthenelse_exp.e -o test_ifthenelse_exp.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -flat_check -invariant_check test_ifthenelse_exp.e -o test_ifthenelse_exp.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -flat_check -loop_check test_ifthenelse_exp.e -o test_ifthenelse_exp.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -flat_check -all_check test_ifthenelse_exp.e -o test_ifthenelse_exp.exe". By excluded.lst: "se c -profile". se c -no_split -boost test_ifthenelse_exp.e -o test_ifthenelse_exp.exe Running (-no_split -boost) "test_ifthenelse_exp.exe". se clean test_ifthenelse_exp.e Removing (-no_split -boost) "test_ifthenelse_exp.exe". se c -no_split -no_gc -boost test_ifthenelse_exp.e -o test_ifthenelse_exp.exe Running (-no_split -no_gc -boost) "test_ifthenelse_exp.exe". se clean test_ifthenelse_exp.e Removing (-no_split -no_gc -boost) "test_ifthenelse_exp.exe". se c -no_split -boost -bdw_gc test_ifthenelse_exp.e -o test_ifthenelse_exp.exe Running (-no_split -boost -bdw_gc) "test_ifthenelse_exp.exe". se clean test_ifthenelse_exp.e Removing (-no_split -boost -bdw_gc) "test_ifthenelse_exp.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.