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