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 17 test_* files. Found 0 bad_* files. Found 0 subdirectories. -------------------------------------------------------------------------------- se c -boost test_alg01.e -o test_alg01.exe Running (-boost) "test_alg01.exe". se clean test_alg01.e Removing (-boost) "test_alg01.exe". se c -flat_check -all_check -debug test_alg01.e -o test_alg01.exe Running (-flat_check -all_check -debug) "test_alg01.exe". se clean test_alg01.e Removing (-flat_check -all_check -debug) "test_alg01.exe". se c -no_check test_alg01.e -o test_alg01.exe Running (-no_check) "test_alg01.exe". se clean test_alg01.e Removing (-no_check) "test_alg01.exe". se c -flat_check -require_check test_alg01.e -o test_alg01.exe Running (-flat_check -require_check) "test_alg01.exe". se clean test_alg01.e Removing (-flat_check -require_check) "test_alg01.exe". se c -flat_check -ensure_check test_alg01.e -o test_alg01.exe Running (-flat_check -ensure_check) "test_alg01.exe". se clean test_alg01.e Removing (-flat_check -ensure_check) "test_alg01.exe". se c -flat_check -invariant_check test_alg01.e -o test_alg01.exe Running (-flat_check -invariant_check) "test_alg01.exe". se clean test_alg01.e Removing (-flat_check -invariant_check) "test_alg01.exe". se c -flat_check -loop_check test_alg01.e -o test_alg01.exe Running (-flat_check -loop_check) "test_alg01.exe". se clean test_alg01.e Removing (-flat_check -loop_check) "test_alg01.exe". se c -flat_check -all_check test_alg01.e -o test_alg01.exe Running (-flat_check -all_check) "test_alg01.exe". se clean test_alg01.e Removing (-flat_check -all_check) "test_alg01.exe". Excluded command: "se c -no_gc -boost test_alg01.e -o test_alg01.exe". By excluded.lst: "se c -no_gc". Excluded command: "se c -no_gc -boost -debug test_alg01.e -o test_alg01.exe". By excluded.lst: "se c -no_gc". Excluded command: "se c -no_gc -no_check test_alg01.e -o test_alg01.exe". By excluded.lst: "se c -no_gc". Excluded command: "se c -no_gc -flat_check -require_check test_alg01.e -o test_alg01.exe". By excluded.lst: "se c -no_gc". Excluded command: "se c -no_gc -ensure_check test_alg01.e -o test_alg01.exe". By excluded.lst: "se c -no_gc". Excluded command: "se c -no_gc -flat_check -invariant_check test_alg01.e -o test_alg01.exe". By excluded.lst: "se c -no_gc". Excluded command: "se c -no_gc -flat_check -loop_check test_alg01.e -o test_alg01.exe". By excluded.lst: "se c -no_gc". Excluded command: "se c -no_gc -flat_check -all_check test_alg01.e -o test_alg01.exe". By excluded.lst: "se c -no_gc". se c -boost -bdw_gc test_alg01.e -o test_alg01.exe Running (-boost -bdw_gc) "test_alg01.exe". se clean test_alg01.e Removing (-boost -bdw_gc) "test_alg01.exe". se c -boost -debug -bdw_gc test_alg01.e -o test_alg01.exe Running (-boost -debug -bdw_gc) "test_alg01.exe". se clean test_alg01.e Removing (-boost -debug -bdw_gc) "test_alg01.exe". se c -no_check -bdw_gc test_alg01.e -o test_alg01.exe Running (-no_check -bdw_gc) "test_alg01.exe". se clean test_alg01.e Removing (-no_check -bdw_gc) "test_alg01.exe". se c -flat_check -require_check -bdw_gc test_alg01.e -o test_alg01.exe Running (-flat_check -require_check -bdw_gc) "test_alg01.exe". se clean test_alg01.e Removing (-flat_check -require_check -bdw_gc) "test_alg01.exe". Excluded command: "se c -ensure_check -bdw_gc test_alg01.e -o test_alg01.exe". By excluded.lst: "se c -ensure_check". se c -flat_check -invariant_check -bdw_gc test_alg01.e -o test_alg01.exe Running (-flat_check -invariant_check -bdw_gc) "test_alg01.exe". se clean test_alg01.e Removing (-flat_check -invariant_check -bdw_gc) "test_alg01.exe". se c -flat_check -loop_check -bdw_gc test_alg01.e -o test_alg01.exe Running (-flat_check -loop_check -bdw_gc) "test_alg01.exe". se clean test_alg01.e Removing (-flat_check -loop_check -bdw_gc) "test_alg01.exe". se c -flat_check -all_check -bdw_gc test_alg01.e -o test_alg01.exe Running (-flat_check -all_check -bdw_gc) "test_alg01.exe". se clean test_alg01.e Removing (-flat_check -all_check -bdw_gc) "test_alg01.exe". Excluded command: "se c -all_check -debug test_alg01.e -o test_alg01.exe". By excluded.lst: "se c -all_check -debug". se c -require_check test_alg01.e -o test_alg01.exe Running (-require_check) "test_alg01.exe". se clean test_alg01.e Removing (-require_check) "test_alg01.exe". Excluded command: "se c -ensure_check test_alg01.e -o test_alg01.exe". By excluded.lst: "se c -ensure_check". Excluded command: "se c -invariant_check test_alg01.e -o test_alg01.exe". By excluded.lst: "se c -invariant_check". Excluded command: "se c -loop_check test_alg01.e -o test_alg01.exe". By excluded.lst: "se c -loop_check". Excluded command: "se c -all_check test_alg01.e -o test_alg01.exe". By excluded.lst: "se c -all_check". Excluded command: "se c -no_gc -require_check test_alg01.e -o test_alg01.exe". By excluded.lst: "se c -no_gc". Excluded command: "se c -no_gc -ensure_check test_alg01.e -o test_alg01.exe". By excluded.lst: "se c -no_gc". Excluded command: "se c -no_gc -invariant_check test_alg01.e -o test_alg01.exe". By excluded.lst: "se c -no_gc". Excluded command: "se c -no_gc -loop_check test_alg01.e -o test_alg01.exe". By excluded.lst: "se c -no_gc". Excluded command: "se c -no_gc -all_check test_alg01.e -o test_alg01.exe". By excluded.lst: "se c -no_gc". se c -require_check -bdw_gc test_alg01.e -o test_alg01.exe Running (-require_check -bdw_gc) "test_alg01.exe". se clean test_alg01.e Removing (-require_check -bdw_gc) "test_alg01.exe". Excluded command: "se c -ensure_check -bdw_gc test_alg01.e -o test_alg01.exe". By excluded.lst: "se c -ensure_check". Excluded command: "se c -invariant_check -bdw_gc test_alg01.e -o test_alg01.exe". By excluded.lst: "se c -invariant_check". Excluded command: "se c -loop_check -bdw_gc test_alg01.e -o test_alg01.exe". By excluded.lst: "se c -loop_check". Excluded command: "se c -all_check -bdw_gc test_alg01.e -o test_alg01.exe". By excluded.lst: "se c -all_check". Excluded command: "se c -profile -boost test_alg01.e -o test_alg01.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -all_check -debug test_alg01.e -o test_alg01.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -no_check test_alg01.e -o test_alg01.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -require_check test_alg01.e -o test_alg01.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -ensure_check test_alg01.e -o test_alg01.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -invariant_check test_alg01.e -o test_alg01.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -loop_check test_alg01.e -o test_alg01.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -all_check test_alg01.e -o test_alg01.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -no_gc -boost test_alg01.e -o test_alg01.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -no_gc -no_check test_alg01.e -o test_alg01.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -no_gc -require_check test_alg01.e -o test_alg01.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -no_gc -ensure_check test_alg01.e -o test_alg01.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -no_gc -invariant_check test_alg01.e -o test_alg01.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -no_gc -loop_check test_alg01.e -o test_alg01.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -no_gc -all_check test_alg01.e -o test_alg01.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -boost -bdw_gc test_alg01.e -o test_alg01.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -no_check -bdw_gc test_alg01.e -o test_alg01.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -require_check -bdw_gc test_alg01.e -o test_alg01.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -ensure_check -bdw_gc test_alg01.e -o test_alg01.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -invariant_check -bdw_gc test_alg01.e -o test_alg01.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -loop_check -bdw_gc test_alg01.e -o test_alg01.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -all_check -bdw_gc test_alg01.e -o test_alg01.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -flat_check -require_check test_alg01.e -o test_alg01.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -flat_check -ensure_check test_alg01.e -o test_alg01.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -flat_check -invariant_check test_alg01.e -o test_alg01.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -flat_check -loop_check test_alg01.e -o test_alg01.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -flat_check -all_check test_alg01.e -o test_alg01.exe". By excluded.lst: "se c -profile". se c -no_split -boost test_alg01.e -o test_alg01.exe Running (-no_split -boost) "test_alg01.exe". se clean test_alg01.e Removing (-no_split -boost) "test_alg01.exe". se c -no_split -no_gc -boost test_alg01.e -o test_alg01.exe Running (-no_split -no_gc -boost) "test_alg01.exe". se clean test_alg01.e Removing (-no_split -no_gc -boost) "test_alg01.exe". se c -no_split -boost -bdw_gc test_alg01.e -o test_alg01.exe Running (-no_split -boost -bdw_gc) "test_alg01.exe". se clean test_alg01.e Removing (-no_split -boost -bdw_gc) "test_alg01.exe". se c -boost test_alg02.e -o test_alg02.exe Running (-boost) "test_alg02.exe". se clean test_alg02.e Removing (-boost) "test_alg02.exe". se c -flat_check -all_check -debug test_alg02.e -o test_alg02.exe Running (-flat_check -all_check -debug) "test_alg02.exe". se clean test_alg02.e Removing (-flat_check -all_check -debug) "test_alg02.exe". se c -no_check test_alg02.e -o test_alg02.exe Running (-no_check) "test_alg02.exe". se clean test_alg02.e Removing (-no_check) "test_alg02.exe". se c -flat_check -require_check test_alg02.e -o test_alg02.exe Running (-flat_check -require_check) "test_alg02.exe". se clean test_alg02.e Removing (-flat_check -require_check) "test_alg02.exe". se c -flat_check -ensure_check test_alg02.e -o test_alg02.exe Running (-flat_check -ensure_check) "test_alg02.exe". se clean test_alg02.e Removing (-flat_check -ensure_check) "test_alg02.exe". se c -flat_check -invariant_check test_alg02.e -o test_alg02.exe Running (-flat_check -invariant_check) "test_alg02.exe". se clean test_alg02.e Removing (-flat_check -invariant_check) "test_alg02.exe". se c -flat_check -loop_check test_alg02.e -o test_alg02.exe Running (-flat_check -loop_check) "test_alg02.exe". se clean test_alg02.e Removing (-flat_check -loop_check) "test_alg02.exe". se c -flat_check -all_check test_alg02.e -o test_alg02.exe Running (-flat_check -all_check) "test_alg02.exe". se clean test_alg02.e Removing (-flat_check -all_check) "test_alg02.exe". Excluded command: "se c -no_gc -boost test_alg02.e -o test_alg02.exe". By excluded.lst: "se c -no_gc". Excluded command: "se c -no_gc -boost -debug test_alg02.e -o test_alg02.exe". By excluded.lst: "se c -no_gc". Excluded command: "se c -no_gc -no_check test_alg02.e -o test_alg02.exe". By excluded.lst: "se c -no_gc". Excluded command: "se c -no_gc -flat_check -require_check test_alg02.e -o test_alg02.exe". By excluded.lst: "se c -no_gc". Excluded command: "se c -no_gc -ensure_check test_alg02.e -o test_alg02.exe". By excluded.lst: "se c -no_gc". Excluded command: "se c -no_gc -flat_check -invariant_check test_alg02.e -o test_alg02.exe". By excluded.lst: "se c -no_gc". Excluded command: "se c -no_gc -flat_check -loop_check test_alg02.e -o test_alg02.exe". By excluded.lst: "se c -no_gc". Excluded command: "se c -no_gc -flat_check -all_check test_alg02.e -o test_alg02.exe". By excluded.lst: "se c -no_gc". se c -boost -bdw_gc test_alg02.e -o test_alg02.exe Running (-boost -bdw_gc) "test_alg02.exe". se clean test_alg02.e Removing (-boost -bdw_gc) "test_alg02.exe". se c -boost -debug -bdw_gc test_alg02.e -o test_alg02.exe Running (-boost -debug -bdw_gc) "test_alg02.exe". se clean test_alg02.e Removing (-boost -debug -bdw_gc) "test_alg02.exe". se c -no_check -bdw_gc test_alg02.e -o test_alg02.exe Running (-no_check -bdw_gc) "test_alg02.exe". se clean test_alg02.e Removing (-no_check -bdw_gc) "test_alg02.exe". se c -flat_check -require_check -bdw_gc test_alg02.e -o test_alg02.exe Running (-flat_check -require_check -bdw_gc) "test_alg02.exe". se clean test_alg02.e Removing (-flat_check -require_check -bdw_gc) "test_alg02.exe". Excluded command: "se c -ensure_check -bdw_gc test_alg02.e -o test_alg02.exe". By excluded.lst: "se c -ensure_check". se c -flat_check -invariant_check -bdw_gc test_alg02.e -o test_alg02.exe Running (-flat_check -invariant_check -bdw_gc) "test_alg02.exe". se clean test_alg02.e Removing (-flat_check -invariant_check -bdw_gc) "test_alg02.exe". se c -flat_check -loop_check -bdw_gc test_alg02.e -o test_alg02.exe Running (-flat_check -loop_check -bdw_gc) "test_alg02.exe". se clean test_alg02.e Removing (-flat_check -loop_check -bdw_gc) "test_alg02.exe". se c -flat_check -all_check -bdw_gc test_alg02.e -o test_alg02.exe Running (-flat_check -all_check -bdw_gc) "test_alg02.exe". se clean test_alg02.e Removing (-flat_check -all_check -bdw_gc) "test_alg02.exe". Excluded command: "se c -all_check -debug test_alg02.e -o test_alg02.exe". By excluded.lst: "se c -all_check -debug". se c -require_check test_alg02.e -o test_alg02.exe Running (-require_check) "test_alg02.exe". se clean test_alg02.e Removing (-require_check) "test_alg02.exe". Excluded command: "se c -ensure_check test_alg02.e -o test_alg02.exe". By excluded.lst: "se c -ensure_check". Excluded command: "se c -invariant_check test_alg02.e -o test_alg02.exe". By excluded.lst: "se c -invariant_check". Excluded command: "se c -loop_check test_alg02.e -o test_alg02.exe". By excluded.lst: "se c -loop_check". Excluded command: "se c -all_check test_alg02.e -o test_alg02.exe". By excluded.lst: "se c -all_check". Excluded command: "se c -no_gc -require_check test_alg02.e -o test_alg02.exe". By excluded.lst: "se c -no_gc". Excluded command: "se c -no_gc -ensure_check test_alg02.e -o test_alg02.exe". By excluded.lst: "se c -no_gc". Excluded command: "se c -no_gc -invariant_check test_alg02.e -o test_alg02.exe". By excluded.lst: "se c -no_gc". Excluded command: "se c -no_gc -loop_check test_alg02.e -o test_alg02.exe". By excluded.lst: "se c -no_gc". Excluded command: "se c -no_gc -all_check test_alg02.e -o test_alg02.exe". By excluded.lst: "se c -no_gc". se c -require_check -bdw_gc test_alg02.e -o test_alg02.exe Running (-require_check -bdw_gc) "test_alg02.exe". se clean test_alg02.e Removing (-require_check -bdw_gc) "test_alg02.exe". Excluded command: "se c -ensure_check -bdw_gc test_alg02.e -o test_alg02.exe". By excluded.lst: "se c -ensure_check". Excluded command: "se c -invariant_check -bdw_gc test_alg02.e -o test_alg02.exe". By excluded.lst: "se c -invariant_check". Excluded command: "se c -loop_check -bdw_gc test_alg02.e -o test_alg02.exe". By excluded.lst: "se c -loop_check". Excluded command: "se c -all_check -bdw_gc test_alg02.e -o test_alg02.exe". By excluded.lst: "se c -all_check". Excluded command: "se c -profile -boost test_alg02.e -o test_alg02.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -all_check -debug test_alg02.e -o test_alg02.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -no_check test_alg02.e -o test_alg02.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -require_check test_alg02.e -o test_alg02.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -ensure_check test_alg02.e -o test_alg02.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -invariant_check test_alg02.e -o test_alg02.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -loop_check test_alg02.e -o test_alg02.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -all_check test_alg02.e -o test_alg02.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -no_gc -boost test_alg02.e -o test_alg02.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -no_gc -no_check test_alg02.e -o test_alg02.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -no_gc -require_check test_alg02.e -o test_alg02.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -no_gc -ensure_check test_alg02.e -o test_alg02.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -no_gc -invariant_check test_alg02.e -o test_alg02.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -no_gc -loop_check test_alg02.e -o test_alg02.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -no_gc -all_check test_alg02.e -o test_alg02.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -boost -bdw_gc test_alg02.e -o test_alg02.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -no_check -bdw_gc test_alg02.e -o test_alg02.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -require_check -bdw_gc test_alg02.e -o test_alg02.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -ensure_check -bdw_gc test_alg02.e -o test_alg02.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -invariant_check -bdw_gc test_alg02.e -o test_alg02.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -loop_check -bdw_gc test_alg02.e -o test_alg02.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -all_check -bdw_gc test_alg02.e -o test_alg02.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -flat_check -require_check test_alg02.e -o test_alg02.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -flat_check -ensure_check test_alg02.e -o test_alg02.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -flat_check -invariant_check test_alg02.e -o test_alg02.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -flat_check -loop_check test_alg02.e -o test_alg02.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -flat_check -all_check test_alg02.e -o test_alg02.exe". By excluded.lst: "se c -profile". se c -no_split -boost test_alg02.e -o test_alg02.exe Running (-no_split -boost) "test_alg02.exe". se clean test_alg02.e Removing (-no_split -boost) "test_alg02.exe". se c -no_split -no_gc -boost test_alg02.e -o test_alg02.exe Running (-no_split -no_gc -boost) "test_alg02.exe". se clean test_alg02.e Removing (-no_split -no_gc -boost) "test_alg02.exe". se c -no_split -boost -bdw_gc test_alg02.e -o test_alg02.exe Running (-no_split -boost -bdw_gc) "test_alg02.exe". se clean test_alg02.e Removing (-no_split -boost -bdw_gc) "test_alg02.exe". se c -boost test_alg03.e -o test_alg03.exe Running (-boost) "test_alg03.exe". se clean test_alg03.e Removing (-boost) "test_alg03.exe". se c -flat_check -all_check -debug test_alg03.e -o test_alg03.exe Running (-flat_check -all_check -debug) "test_alg03.exe". se clean test_alg03.e Removing (-flat_check -all_check -debug) "test_alg03.exe". se c -no_check test_alg03.e -o test_alg03.exe Running (-no_check) "test_alg03.exe". se clean test_alg03.e Removing (-no_check) "test_alg03.exe". se c -flat_check -require_check test_alg03.e -o test_alg03.exe Running (-flat_check -require_check) "test_alg03.exe". se clean test_alg03.e Removing (-flat_check -require_check) "test_alg03.exe". se c -flat_check -ensure_check test_alg03.e -o test_alg03.exe Running (-flat_check -ensure_check) "test_alg03.exe". se clean test_alg03.e Removing (-flat_check -ensure_check) "test_alg03.exe". se c -flat_check -invariant_check test_alg03.e -o test_alg03.exe Running (-flat_check -invariant_check) "test_alg03.exe". se clean test_alg03.e Removing (-flat_check -invariant_check) "test_alg03.exe". se c -flat_check -loop_check test_alg03.e -o test_alg03.exe Running (-flat_check -loop_check) "test_alg03.exe". se clean test_alg03.e Removing (-flat_check -loop_check) "test_alg03.exe". se c -flat_check -all_check test_alg03.e -o test_alg03.exe Running (-flat_check -all_check) "test_alg03.exe". se clean test_alg03.e Removing (-flat_check -all_check) "test_alg03.exe". Excluded command: "se c -no_gc -boost test_alg03.e -o test_alg03.exe". By excluded.lst: "se c -no_gc". Excluded command: "se c -no_gc -boost -debug test_alg03.e -o test_alg03.exe". By excluded.lst: "se c -no_gc". Excluded command: "se c -no_gc -no_check test_alg03.e -o test_alg03.exe". By excluded.lst: "se c -no_gc". Excluded command: "se c -no_gc -flat_check -require_check test_alg03.e -o test_alg03.exe". By excluded.lst: "se c -no_gc". Excluded command: "se c -no_gc -ensure_check test_alg03.e -o test_alg03.exe". By excluded.lst: "se c -no_gc". Excluded command: "se c -no_gc -flat_check -invariant_check test_alg03.e -o test_alg03.exe". By excluded.lst: "se c -no_gc". Excluded command: "se c -no_gc -flat_check -loop_check test_alg03.e -o test_alg03.exe". By excluded.lst: "se c -no_gc". Excluded command: "se c -no_gc -flat_check -all_check test_alg03.e -o test_alg03.exe". By excluded.lst: "se c -no_gc". se c -boost -bdw_gc test_alg03.e -o test_alg03.exe Running (-boost -bdw_gc) "test_alg03.exe". se clean test_alg03.e Removing (-boost -bdw_gc) "test_alg03.exe". se c -boost -debug -bdw_gc test_alg03.e -o test_alg03.exe Running (-boost -debug -bdw_gc) "test_alg03.exe". se clean test_alg03.e Removing (-boost -debug -bdw_gc) "test_alg03.exe". se c -no_check -bdw_gc test_alg03.e -o test_alg03.exe Running (-no_check -bdw_gc) "test_alg03.exe". se clean test_alg03.e Removing (-no_check -bdw_gc) "test_alg03.exe". se c -flat_check -require_check -bdw_gc test_alg03.e -o test_alg03.exe Running (-flat_check -require_check -bdw_gc) "test_alg03.exe". se clean test_alg03.e Removing (-flat_check -require_check -bdw_gc) "test_alg03.exe". Excluded command: "se c -ensure_check -bdw_gc test_alg03.e -o test_alg03.exe". By excluded.lst: "se c -ensure_check". se c -flat_check -invariant_check -bdw_gc test_alg03.e -o test_alg03.exe Running (-flat_check -invariant_check -bdw_gc) "test_alg03.exe". se clean test_alg03.e Removing (-flat_check -invariant_check -bdw_gc) "test_alg03.exe". se c -flat_check -loop_check -bdw_gc test_alg03.e -o test_alg03.exe Running (-flat_check -loop_check -bdw_gc) "test_alg03.exe". se clean test_alg03.e Removing (-flat_check -loop_check -bdw_gc) "test_alg03.exe". se c -flat_check -all_check -bdw_gc test_alg03.e -o test_alg03.exe Running (-flat_check -all_check -bdw_gc) "test_alg03.exe". se clean test_alg03.e Removing (-flat_check -all_check -bdw_gc) "test_alg03.exe". Excluded command: "se c -all_check -debug test_alg03.e -o test_alg03.exe". By excluded.lst: "se c -all_check -debug". se c -require_check test_alg03.e -o test_alg03.exe Running (-require_check) "test_alg03.exe". se clean test_alg03.e Removing (-require_check) "test_alg03.exe". Excluded command: "se c -ensure_check test_alg03.e -o test_alg03.exe". By excluded.lst: "se c -ensure_check". Excluded command: "se c -invariant_check test_alg03.e -o test_alg03.exe". By excluded.lst: "se c -invariant_check". Excluded command: "se c -loop_check test_alg03.e -o test_alg03.exe". By excluded.lst: "se c -loop_check". Excluded command: "se c -all_check test_alg03.e -o test_alg03.exe". By excluded.lst: "se c -all_check". Excluded command: "se c -no_gc -require_check test_alg03.e -o test_alg03.exe". By excluded.lst: "se c -no_gc". Excluded command: "se c -no_gc -ensure_check test_alg03.e -o test_alg03.exe". By excluded.lst: "se c -no_gc". Excluded command: "se c -no_gc -invariant_check test_alg03.e -o test_alg03.exe". By excluded.lst: "se c -no_gc". Excluded command: "se c -no_gc -loop_check test_alg03.e -o test_alg03.exe". By excluded.lst: "se c -no_gc". Excluded command: "se c -no_gc -all_check test_alg03.e -o test_alg03.exe". By excluded.lst: "se c -no_gc". se c -require_check -bdw_gc test_alg03.e -o test_alg03.exe Running (-require_check -bdw_gc) "test_alg03.exe". se clean test_alg03.e Removing (-require_check -bdw_gc) "test_alg03.exe". Excluded command: "se c -ensure_check -bdw_gc test_alg03.e -o test_alg03.exe". By excluded.lst: "se c -ensure_check". Excluded command: "se c -invariant_check -bdw_gc test_alg03.e -o test_alg03.exe". By excluded.lst: "se c -invariant_check". Excluded command: "se c -loop_check -bdw_gc test_alg03.e -o test_alg03.exe". By excluded.lst: "se c -loop_check". Excluded command: "se c -all_check -bdw_gc test_alg03.e -o test_alg03.exe". By excluded.lst: "se c -all_check". Excluded command: "se c -profile -boost test_alg03.e -o test_alg03.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -all_check -debug test_alg03.e -o test_alg03.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -no_check test_alg03.e -o test_alg03.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -require_check test_alg03.e -o test_alg03.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -ensure_check test_alg03.e -o test_alg03.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -invariant_check test_alg03.e -o test_alg03.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -loop_check test_alg03.e -o test_alg03.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -all_check test_alg03.e -o test_alg03.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -no_gc -boost test_alg03.e -o test_alg03.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -no_gc -no_check test_alg03.e -o test_alg03.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -no_gc -require_check test_alg03.e -o test_alg03.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -no_gc -ensure_check test_alg03.e -o test_alg03.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -no_gc -invariant_check test_alg03.e -o test_alg03.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -no_gc -loop_check test_alg03.e -o test_alg03.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -no_gc -all_check test_alg03.e -o test_alg03.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -boost -bdw_gc test_alg03.e -o test_alg03.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -no_check -bdw_gc test_alg03.e -o test_alg03.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -require_check -bdw_gc test_alg03.e -o test_alg03.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -ensure_check -bdw_gc test_alg03.e -o test_alg03.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -invariant_check -bdw_gc test_alg03.e -o test_alg03.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -loop_check -bdw_gc test_alg03.e -o test_alg03.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -all_check -bdw_gc test_alg03.e -o test_alg03.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -flat_check -require_check test_alg03.e -o test_alg03.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -flat_check -ensure_check test_alg03.e -o test_alg03.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -flat_check -invariant_check test_alg03.e -o test_alg03.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -flat_check -loop_check test_alg03.e -o test_alg03.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -flat_check -all_check test_alg03.e -o test_alg03.exe". By excluded.lst: "se c -profile". se c -no_split -boost test_alg03.e -o test_alg03.exe Running (-no_split -boost) "test_alg03.exe". se clean test_alg03.e Removing (-no_split -boost) "test_alg03.exe". se c -no_split -no_gc -boost test_alg03.e -o test_alg03.exe Running (-no_split -no_gc -boost) "test_alg03.exe". se clean test_alg03.e Removing (-no_split -no_gc -boost) "test_alg03.exe". se c -no_split -boost -bdw_gc test_alg03.e -o test_alg03.exe Running (-no_split -boost -bdw_gc) "test_alg03.exe". se clean test_alg03.e Removing (-no_split -boost -bdw_gc) "test_alg03.exe". se c -boost test_alg04.e -o test_alg04.exe Running (-boost) "test_alg04.exe". se clean test_alg04.e Removing (-boost) "test_alg04.exe". se c -flat_check -all_check -debug test_alg04.e -o test_alg04.exe Running (-flat_check -all_check -debug) "test_alg04.exe". se clean test_alg04.e Removing (-flat_check -all_check -debug) "test_alg04.exe". se c -no_check test_alg04.e -o test_alg04.exe Running (-no_check) "test_alg04.exe". se clean test_alg04.e Removing (-no_check) "test_alg04.exe". se c -flat_check -require_check test_alg04.e -o test_alg04.exe Running (-flat_check -require_check) "test_alg04.exe". se clean test_alg04.e Removing (-flat_check -require_check) "test_alg04.exe". se c -flat_check -ensure_check test_alg04.e -o test_alg04.exe Running (-flat_check -ensure_check) "test_alg04.exe". se clean test_alg04.e Removing (-flat_check -ensure_check) "test_alg04.exe". se c -flat_check -invariant_check test_alg04.e -o test_alg04.exe Running (-flat_check -invariant_check) "test_alg04.exe". se clean test_alg04.e Removing (-flat_check -invariant_check) "test_alg04.exe". se c -flat_check -loop_check test_alg04.e -o test_alg04.exe Running (-flat_check -loop_check) "test_alg04.exe". se clean test_alg04.e Removing (-flat_check -loop_check) "test_alg04.exe". se c -flat_check -all_check test_alg04.e -o test_alg04.exe Running (-flat_check -all_check) "test_alg04.exe". se clean test_alg04.e Removing (-flat_check -all_check) "test_alg04.exe". Excluded command: "se c -no_gc -boost test_alg04.e -o test_alg04.exe". By excluded.lst: "se c -no_gc". Excluded command: "se c -no_gc -boost -debug test_alg04.e -o test_alg04.exe". By excluded.lst: "se c -no_gc". Excluded command: "se c -no_gc -no_check test_alg04.e -o test_alg04.exe". By excluded.lst: "se c -no_gc". Excluded command: "se c -no_gc -flat_check -require_check test_alg04.e -o test_alg04.exe". By excluded.lst: "se c -no_gc". Excluded command: "se c -no_gc -ensure_check test_alg04.e -o test_alg04.exe". By excluded.lst: "se c -no_gc". Excluded command: "se c -no_gc -flat_check -invariant_check test_alg04.e -o test_alg04.exe". By excluded.lst: "se c -no_gc". Excluded command: "se c -no_gc -flat_check -loop_check test_alg04.e -o test_alg04.exe". By excluded.lst: "se c -no_gc". Excluded command: "se c -no_gc -flat_check -all_check test_alg04.e -o test_alg04.exe". By excluded.lst: "se c -no_gc". se c -boost -bdw_gc test_alg04.e -o test_alg04.exe Running (-boost -bdw_gc) "test_alg04.exe". se clean test_alg04.e Removing (-boost -bdw_gc) "test_alg04.exe". se c -boost -debug -bdw_gc test_alg04.e -o test_alg04.exe Running (-boost -debug -bdw_gc) "test_alg04.exe". se clean test_alg04.e Removing (-boost -debug -bdw_gc) "test_alg04.exe". se c -no_check -bdw_gc test_alg04.e -o test_alg04.exe Running (-no_check -bdw_gc) "test_alg04.exe". se clean test_alg04.e Removing (-no_check -bdw_gc) "test_alg04.exe". se c -flat_check -require_check -bdw_gc test_alg04.e -o test_alg04.exe Running (-flat_check -require_check -bdw_gc) "test_alg04.exe". se clean test_alg04.e Removing (-flat_check -require_check -bdw_gc) "test_alg04.exe". Excluded command: "se c -ensure_check -bdw_gc test_alg04.e -o test_alg04.exe". By excluded.lst: "se c -ensure_check". se c -flat_check -invariant_check -bdw_gc test_alg04.e -o test_alg04.exe Running (-flat_check -invariant_check -bdw_gc) "test_alg04.exe". se clean test_alg04.e Removing (-flat_check -invariant_check -bdw_gc) "test_alg04.exe". se c -flat_check -loop_check -bdw_gc test_alg04.e -o test_alg04.exe Running (-flat_check -loop_check -bdw_gc) "test_alg04.exe". se clean test_alg04.e Removing (-flat_check -loop_check -bdw_gc) "test_alg04.exe". se c -flat_check -all_check -bdw_gc test_alg04.e -o test_alg04.exe Running (-flat_check -all_check -bdw_gc) "test_alg04.exe". se clean test_alg04.e Removing (-flat_check -all_check -bdw_gc) "test_alg04.exe". Excluded command: "se c -all_check -debug test_alg04.e -o test_alg04.exe". By excluded.lst: "se c -all_check -debug". se c -require_check test_alg04.e -o test_alg04.exe Running (-require_check) "test_alg04.exe". se clean test_alg04.e Removing (-require_check) "test_alg04.exe". Excluded command: "se c -ensure_check test_alg04.e -o test_alg04.exe". By excluded.lst: "se c -ensure_check". Excluded command: "se c -invariant_check test_alg04.e -o test_alg04.exe". By excluded.lst: "se c -invariant_check". Excluded command: "se c -loop_check test_alg04.e -o test_alg04.exe". By excluded.lst: "se c -loop_check". Excluded command: "se c -all_check test_alg04.e -o test_alg04.exe". By excluded.lst: "se c -all_check". Excluded command: "se c -no_gc -require_check test_alg04.e -o test_alg04.exe". By excluded.lst: "se c -no_gc". Excluded command: "se c -no_gc -ensure_check test_alg04.e -o test_alg04.exe". By excluded.lst: "se c -no_gc". Excluded command: "se c -no_gc -invariant_check test_alg04.e -o test_alg04.exe". By excluded.lst: "se c -no_gc". Excluded command: "se c -no_gc -loop_check test_alg04.e -o test_alg04.exe". By excluded.lst: "se c -no_gc". Excluded command: "se c -no_gc -all_check test_alg04.e -o test_alg04.exe". By excluded.lst: "se c -no_gc". se c -require_check -bdw_gc test_alg04.e -o test_alg04.exe Running (-require_check -bdw_gc) "test_alg04.exe". se clean test_alg04.e Removing (-require_check -bdw_gc) "test_alg04.exe". Excluded command: "se c -ensure_check -bdw_gc test_alg04.e -o test_alg04.exe". By excluded.lst: "se c -ensure_check". Excluded command: "se c -invariant_check -bdw_gc test_alg04.e -o test_alg04.exe". By excluded.lst: "se c -invariant_check". Excluded command: "se c -loop_check -bdw_gc test_alg04.e -o test_alg04.exe". By excluded.lst: "se c -loop_check". Excluded command: "se c -all_check -bdw_gc test_alg04.e -o test_alg04.exe". By excluded.lst: "se c -all_check". Excluded command: "se c -profile -boost test_alg04.e -o test_alg04.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -all_check -debug test_alg04.e -o test_alg04.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -no_check test_alg04.e -o test_alg04.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -require_check test_alg04.e -o test_alg04.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -ensure_check test_alg04.e -o test_alg04.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -invariant_check test_alg04.e -o test_alg04.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -loop_check test_alg04.e -o test_alg04.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -all_check test_alg04.e -o test_alg04.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -no_gc -boost test_alg04.e -o test_alg04.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -no_gc -no_check test_alg04.e -o test_alg04.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -no_gc -require_check test_alg04.e -o test_alg04.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -no_gc -ensure_check test_alg04.e -o test_alg04.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -no_gc -invariant_check test_alg04.e -o test_alg04.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -no_gc -loop_check test_alg04.e -o test_alg04.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -no_gc -all_check test_alg04.e -o test_alg04.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -boost -bdw_gc test_alg04.e -o test_alg04.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -no_check -bdw_gc test_alg04.e -o test_alg04.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -require_check -bdw_gc test_alg04.e -o test_alg04.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -ensure_check -bdw_gc test_alg04.e -o test_alg04.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -invariant_check -bdw_gc test_alg04.e -o test_alg04.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -loop_check -bdw_gc test_alg04.e -o test_alg04.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -all_check -bdw_gc test_alg04.e -o test_alg04.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -flat_check -require_check test_alg04.e -o test_alg04.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -flat_check -ensure_check test_alg04.e -o test_alg04.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -flat_check -invariant_check test_alg04.e -o test_alg04.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -flat_check -loop_check test_alg04.e -o test_alg04.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -flat_check -all_check test_alg04.e -o test_alg04.exe". By excluded.lst: "se c -profile". se c -no_split -boost test_alg04.e -o test_alg04.exe Running (-no_split -boost) "test_alg04.exe". se clean test_alg04.e Removing (-no_split -boost) "test_alg04.exe". se c -no_split -no_gc -boost test_alg04.e -o test_alg04.exe Running (-no_split -no_gc -boost) "test_alg04.exe". se clean test_alg04.e Removing (-no_split -no_gc -boost) "test_alg04.exe". se c -no_split -boost -bdw_gc test_alg04.e -o test_alg04.exe Running (-no_split -boost -bdw_gc) "test_alg04.exe". se clean test_alg04.e Removing (-no_split -boost -bdw_gc) "test_alg04.exe". se c -boost test_alg07.e -o test_alg07.exe Running (-boost) "test_alg07.exe". se clean test_alg07.e Removing (-boost) "test_alg07.exe". se c -flat_check -all_check -debug test_alg07.e -o test_alg07.exe Running (-flat_check -all_check -debug) "test_alg07.exe". se clean test_alg07.e Removing (-flat_check -all_check -debug) "test_alg07.exe". se c -no_check test_alg07.e -o test_alg07.exe Running (-no_check) "test_alg07.exe". se clean test_alg07.e Removing (-no_check) "test_alg07.exe". se c -flat_check -require_check test_alg07.e -o test_alg07.exe Running (-flat_check -require_check) "test_alg07.exe". se clean test_alg07.e Removing (-flat_check -require_check) "test_alg07.exe". se c -flat_check -ensure_check test_alg07.e -o test_alg07.exe Running (-flat_check -ensure_check) "test_alg07.exe". se clean test_alg07.e Removing (-flat_check -ensure_check) "test_alg07.exe". se c -flat_check -invariant_check test_alg07.e -o test_alg07.exe Running (-flat_check -invariant_check) "test_alg07.exe". se clean test_alg07.e Removing (-flat_check -invariant_check) "test_alg07.exe". se c -flat_check -loop_check test_alg07.e -o test_alg07.exe Running (-flat_check -loop_check) "test_alg07.exe". se clean test_alg07.e Removing (-flat_check -loop_check) "test_alg07.exe". se c -flat_check -all_check test_alg07.e -o test_alg07.exe Running (-flat_check -all_check) "test_alg07.exe". se clean test_alg07.e Removing (-flat_check -all_check) "test_alg07.exe". Excluded command: "se c -no_gc -boost test_alg07.e -o test_alg07.exe". By excluded.lst: "se c -no_gc". Excluded command: "se c -no_gc -boost -debug test_alg07.e -o test_alg07.exe". By excluded.lst: "se c -no_gc". Excluded command: "se c -no_gc -no_check test_alg07.e -o test_alg07.exe". By excluded.lst: "se c -no_gc". Excluded command: "se c -no_gc -flat_check -require_check test_alg07.e -o test_alg07.exe". By excluded.lst: "se c -no_gc". Excluded command: "se c -no_gc -ensure_check test_alg07.e -o test_alg07.exe". By excluded.lst: "se c -no_gc". Excluded command: "se c -no_gc -flat_check -invariant_check test_alg07.e -o test_alg07.exe". By excluded.lst: "se c -no_gc". Excluded command: "se c -no_gc -flat_check -loop_check test_alg07.e -o test_alg07.exe". By excluded.lst: "se c -no_gc". Excluded command: "se c -no_gc -flat_check -all_check test_alg07.e -o test_alg07.exe". By excluded.lst: "se c -no_gc". se c -boost -bdw_gc test_alg07.e -o test_alg07.exe Running (-boost -bdw_gc) "test_alg07.exe". se clean test_alg07.e Removing (-boost -bdw_gc) "test_alg07.exe". se c -boost -debug -bdw_gc test_alg07.e -o test_alg07.exe Running (-boost -debug -bdw_gc) "test_alg07.exe". se clean test_alg07.e Removing (-boost -debug -bdw_gc) "test_alg07.exe". se c -no_check -bdw_gc test_alg07.e -o test_alg07.exe Running (-no_check -bdw_gc) "test_alg07.exe". se clean test_alg07.e Removing (-no_check -bdw_gc) "test_alg07.exe". se c -flat_check -require_check -bdw_gc test_alg07.e -o test_alg07.exe Running (-flat_check -require_check -bdw_gc) "test_alg07.exe". se clean test_alg07.e Removing (-flat_check -require_check -bdw_gc) "test_alg07.exe". Excluded command: "se c -ensure_check -bdw_gc test_alg07.e -o test_alg07.exe". By excluded.lst: "se c -ensure_check". se c -flat_check -invariant_check -bdw_gc test_alg07.e -o test_alg07.exe Running (-flat_check -invariant_check -bdw_gc) "test_alg07.exe". se clean test_alg07.e Removing (-flat_check -invariant_check -bdw_gc) "test_alg07.exe". se c -flat_check -loop_check -bdw_gc test_alg07.e -o test_alg07.exe Running (-flat_check -loop_check -bdw_gc) "test_alg07.exe". se clean test_alg07.e Removing (-flat_check -loop_check -bdw_gc) "test_alg07.exe". se c -flat_check -all_check -bdw_gc test_alg07.e -o test_alg07.exe Running (-flat_check -all_check -bdw_gc) "test_alg07.exe". se clean test_alg07.e Removing (-flat_check -all_check -bdw_gc) "test_alg07.exe". Excluded command: "se c -all_check -debug test_alg07.e -o test_alg07.exe". By excluded.lst: "se c -all_check -debug". se c -require_check test_alg07.e -o test_alg07.exe Running (-require_check) "test_alg07.exe". se clean test_alg07.e Removing (-require_check) "test_alg07.exe". Excluded command: "se c -ensure_check test_alg07.e -o test_alg07.exe". By excluded.lst: "se c -ensure_check". Excluded command: "se c -invariant_check test_alg07.e -o test_alg07.exe". By excluded.lst: "se c -invariant_check". Excluded command: "se c -loop_check test_alg07.e -o test_alg07.exe". By excluded.lst: "se c -loop_check". Excluded command: "se c -all_check test_alg07.e -o test_alg07.exe". By excluded.lst: "se c -all_check". Excluded command: "se c -no_gc -require_check test_alg07.e -o test_alg07.exe". By excluded.lst: "se c -no_gc". Excluded command: "se c -no_gc -ensure_check test_alg07.e -o test_alg07.exe". By excluded.lst: "se c -no_gc". Excluded command: "se c -no_gc -invariant_check test_alg07.e -o test_alg07.exe". By excluded.lst: "se c -no_gc". Excluded command: "se c -no_gc -loop_check test_alg07.e -o test_alg07.exe". By excluded.lst: "se c -no_gc". Excluded command: "se c -no_gc -all_check test_alg07.e -o test_alg07.exe". By excluded.lst: "se c -no_gc". se c -require_check -bdw_gc test_alg07.e -o test_alg07.exe Running (-require_check -bdw_gc) "test_alg07.exe". se clean test_alg07.e Removing (-require_check -bdw_gc) "test_alg07.exe". Excluded command: "se c -ensure_check -bdw_gc test_alg07.e -o test_alg07.exe". By excluded.lst: "se c -ensure_check". Excluded command: "se c -invariant_check -bdw_gc test_alg07.e -o test_alg07.exe". By excluded.lst: "se c -invariant_check". Excluded command: "se c -loop_check -bdw_gc test_alg07.e -o test_alg07.exe". By excluded.lst: "se c -loop_check". Excluded command: "se c -all_check -bdw_gc test_alg07.e -o test_alg07.exe". By excluded.lst: "se c -all_check". Excluded command: "se c -profile -boost test_alg07.e -o test_alg07.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -all_check -debug test_alg07.e -o test_alg07.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -no_check test_alg07.e -o test_alg07.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -require_check test_alg07.e -o test_alg07.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -ensure_check test_alg07.e -o test_alg07.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -invariant_check test_alg07.e -o test_alg07.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -loop_check test_alg07.e -o test_alg07.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -all_check test_alg07.e -o test_alg07.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -no_gc -boost test_alg07.e -o test_alg07.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -no_gc -no_check test_alg07.e -o test_alg07.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -no_gc -require_check test_alg07.e -o test_alg07.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -no_gc -ensure_check test_alg07.e -o test_alg07.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -no_gc -invariant_check test_alg07.e -o test_alg07.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -no_gc -loop_check test_alg07.e -o test_alg07.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -no_gc -all_check test_alg07.e -o test_alg07.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -boost -bdw_gc test_alg07.e -o test_alg07.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -no_check -bdw_gc test_alg07.e -o test_alg07.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -require_check -bdw_gc test_alg07.e -o test_alg07.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -ensure_check -bdw_gc test_alg07.e -o test_alg07.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -invariant_check -bdw_gc test_alg07.e -o test_alg07.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -loop_check -bdw_gc test_alg07.e -o test_alg07.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -all_check -bdw_gc test_alg07.e -o test_alg07.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -flat_check -require_check test_alg07.e -o test_alg07.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -flat_check -ensure_check test_alg07.e -o test_alg07.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -flat_check -invariant_check test_alg07.e -o test_alg07.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -flat_check -loop_check test_alg07.e -o test_alg07.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -flat_check -all_check test_alg07.e -o test_alg07.exe". By excluded.lst: "se c -profile". se c -no_split -boost test_alg07.e -o test_alg07.exe Running (-no_split -boost) "test_alg07.exe". se clean test_alg07.e Removing (-no_split -boost) "test_alg07.exe". se c -no_split -no_gc -boost test_alg07.e -o test_alg07.exe Running (-no_split -no_gc -boost) "test_alg07.exe". se clean test_alg07.e Removing (-no_split -no_gc -boost) "test_alg07.exe". se c -no_split -boost -bdw_gc test_alg07.e -o test_alg07.exe Running (-no_split -boost -bdw_gc) "test_alg07.exe". se clean test_alg07.e Removing (-no_split -boost -bdw_gc) "test_alg07.exe". se c -boost test_alg08.e -o test_alg08.exe Running (-boost) "test_alg08.exe". se clean test_alg08.e Removing (-boost) "test_alg08.exe". se c -flat_check -all_check -debug test_alg08.e -o test_alg08.exe Running (-flat_check -all_check -debug) "test_alg08.exe". se clean test_alg08.e Removing (-flat_check -all_check -debug) "test_alg08.exe". se c -no_check test_alg08.e -o test_alg08.exe Running (-no_check) "test_alg08.exe". se clean test_alg08.e Removing (-no_check) "test_alg08.exe". se c -flat_check -require_check test_alg08.e -o test_alg08.exe Running (-flat_check -require_check) "test_alg08.exe". se clean test_alg08.e Removing (-flat_check -require_check) "test_alg08.exe". se c -flat_check -ensure_check test_alg08.e -o test_alg08.exe Running (-flat_check -ensure_check) "test_alg08.exe". se clean test_alg08.e Removing (-flat_check -ensure_check) "test_alg08.exe". se c -flat_check -invariant_check test_alg08.e -o test_alg08.exe Running (-flat_check -invariant_check) "test_alg08.exe". se clean test_alg08.e Removing (-flat_check -invariant_check) "test_alg08.exe". se c -flat_check -loop_check test_alg08.e -o test_alg08.exe Running (-flat_check -loop_check) "test_alg08.exe". se clean test_alg08.e Removing (-flat_check -loop_check) "test_alg08.exe". se c -flat_check -all_check test_alg08.e -o test_alg08.exe Running (-flat_check -all_check) "test_alg08.exe". se clean test_alg08.e Removing (-flat_check -all_check) "test_alg08.exe". Excluded command: "se c -no_gc -boost test_alg08.e -o test_alg08.exe". By excluded.lst: "se c -no_gc". Excluded command: "se c -no_gc -boost -debug test_alg08.e -o test_alg08.exe". By excluded.lst: "se c -no_gc". Excluded command: "se c -no_gc -no_check test_alg08.e -o test_alg08.exe". By excluded.lst: "se c -no_gc". Excluded command: "se c -no_gc -flat_check -require_check test_alg08.e -o test_alg08.exe". By excluded.lst: "se c -no_gc". Excluded command: "se c -no_gc -ensure_check test_alg08.e -o test_alg08.exe". By excluded.lst: "se c -no_gc". Excluded command: "se c -no_gc -flat_check -invariant_check test_alg08.e -o test_alg08.exe". By excluded.lst: "se c -no_gc". Excluded command: "se c -no_gc -flat_check -loop_check test_alg08.e -o test_alg08.exe". By excluded.lst: "se c -no_gc". Excluded command: "se c -no_gc -flat_check -all_check test_alg08.e -o test_alg08.exe". By excluded.lst: "se c -no_gc". se c -boost -bdw_gc test_alg08.e -o test_alg08.exe Running (-boost -bdw_gc) "test_alg08.exe". se clean test_alg08.e Removing (-boost -bdw_gc) "test_alg08.exe". se c -boost -debug -bdw_gc test_alg08.e -o test_alg08.exe Running (-boost -debug -bdw_gc) "test_alg08.exe". se clean test_alg08.e Removing (-boost -debug -bdw_gc) "test_alg08.exe". se c -no_check -bdw_gc test_alg08.e -o test_alg08.exe Running (-no_check -bdw_gc) "test_alg08.exe". se clean test_alg08.e Removing (-no_check -bdw_gc) "test_alg08.exe". se c -flat_check -require_check -bdw_gc test_alg08.e -o test_alg08.exe Running (-flat_check -require_check -bdw_gc) "test_alg08.exe". se clean test_alg08.e Removing (-flat_check -require_check -bdw_gc) "test_alg08.exe". Excluded command: "se c -ensure_check -bdw_gc test_alg08.e -o test_alg08.exe". By excluded.lst: "se c -ensure_check". se c -flat_check -invariant_check -bdw_gc test_alg08.e -o test_alg08.exe Running (-flat_check -invariant_check -bdw_gc) "test_alg08.exe". se clean test_alg08.e Removing (-flat_check -invariant_check -bdw_gc) "test_alg08.exe". se c -flat_check -loop_check -bdw_gc test_alg08.e -o test_alg08.exe Running (-flat_check -loop_check -bdw_gc) "test_alg08.exe". se clean test_alg08.e Removing (-flat_check -loop_check -bdw_gc) "test_alg08.exe". se c -flat_check -all_check -bdw_gc test_alg08.e -o test_alg08.exe Running (-flat_check -all_check -bdw_gc) "test_alg08.exe". se clean test_alg08.e Removing (-flat_check -all_check -bdw_gc) "test_alg08.exe". Excluded command: "se c -all_check -debug test_alg08.e -o test_alg08.exe". By excluded.lst: "se c -all_check -debug". se c -require_check test_alg08.e -o test_alg08.exe Running (-require_check) "test_alg08.exe". se clean test_alg08.e Removing (-require_check) "test_alg08.exe". Excluded command: "se c -ensure_check test_alg08.e -o test_alg08.exe". By excluded.lst: "se c -ensure_check". Excluded command: "se c -invariant_check test_alg08.e -o test_alg08.exe". By excluded.lst: "se c -invariant_check". Excluded command: "se c -loop_check test_alg08.e -o test_alg08.exe". By excluded.lst: "se c -loop_check". Excluded command: "se c -all_check test_alg08.e -o test_alg08.exe". By excluded.lst: "se c -all_check". Excluded command: "se c -no_gc -require_check test_alg08.e -o test_alg08.exe". By excluded.lst: "se c -no_gc". Excluded command: "se c -no_gc -ensure_check test_alg08.e -o test_alg08.exe". By excluded.lst: "se c -no_gc". Excluded command: "se c -no_gc -invariant_check test_alg08.e -o test_alg08.exe". By excluded.lst: "se c -no_gc". Excluded command: "se c -no_gc -loop_check test_alg08.e -o test_alg08.exe". By excluded.lst: "se c -no_gc". Excluded command: "se c -no_gc -all_check test_alg08.e -o test_alg08.exe". By excluded.lst: "se c -no_gc". se c -require_check -bdw_gc test_alg08.e -o test_alg08.exe Running (-require_check -bdw_gc) "test_alg08.exe". se clean test_alg08.e Removing (-require_check -bdw_gc) "test_alg08.exe". Excluded command: "se c -ensure_check -bdw_gc test_alg08.e -o test_alg08.exe". By excluded.lst: "se c -ensure_check". Excluded command: "se c -invariant_check -bdw_gc test_alg08.e -o test_alg08.exe". By excluded.lst: "se c -invariant_check". Excluded command: "se c -loop_check -bdw_gc test_alg08.e -o test_alg08.exe". By excluded.lst: "se c -loop_check". Excluded command: "se c -all_check -bdw_gc test_alg08.e -o test_alg08.exe". By excluded.lst: "se c -all_check". Excluded command: "se c -profile -boost test_alg08.e -o test_alg08.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -all_check -debug test_alg08.e -o test_alg08.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -no_check test_alg08.e -o test_alg08.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -require_check test_alg08.e -o test_alg08.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -ensure_check test_alg08.e -o test_alg08.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -invariant_check test_alg08.e -o test_alg08.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -loop_check test_alg08.e -o test_alg08.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -all_check test_alg08.e -o test_alg08.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -no_gc -boost test_alg08.e -o test_alg08.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -no_gc -no_check test_alg08.e -o test_alg08.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -no_gc -require_check test_alg08.e -o test_alg08.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -no_gc -ensure_check test_alg08.e -o test_alg08.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -no_gc -invariant_check test_alg08.e -o test_alg08.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -no_gc -loop_check test_alg08.e -o test_alg08.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -no_gc -all_check test_alg08.e -o test_alg08.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -boost -bdw_gc test_alg08.e -o test_alg08.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -no_check -bdw_gc test_alg08.e -o test_alg08.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -require_check -bdw_gc test_alg08.e -o test_alg08.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -ensure_check -bdw_gc test_alg08.e -o test_alg08.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -invariant_check -bdw_gc test_alg08.e -o test_alg08.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -loop_check -bdw_gc test_alg08.e -o test_alg08.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -all_check -bdw_gc test_alg08.e -o test_alg08.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -flat_check -require_check test_alg08.e -o test_alg08.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -flat_check -ensure_check test_alg08.e -o test_alg08.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -flat_check -invariant_check test_alg08.e -o test_alg08.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -flat_check -loop_check test_alg08.e -o test_alg08.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -flat_check -all_check test_alg08.e -o test_alg08.exe". By excluded.lst: "se c -profile". se c -no_split -boost test_alg08.e -o test_alg08.exe Running (-no_split -boost) "test_alg08.exe". se clean test_alg08.e Removing (-no_split -boost) "test_alg08.exe". se c -no_split -no_gc -boost test_alg08.e -o test_alg08.exe Running (-no_split -no_gc -boost) "test_alg08.exe". se clean test_alg08.e Removing (-no_split -no_gc -boost) "test_alg08.exe". se c -no_split -boost -bdw_gc test_alg08.e -o test_alg08.exe Running (-no_split -boost -bdw_gc) "test_alg08.exe". se clean test_alg08.e Removing (-no_split -boost -bdw_gc) "test_alg08.exe". se c -boost test_alg09.e -o test_alg09.exe Running (-boost) "test_alg09.exe". se clean test_alg09.e Removing (-boost) "test_alg09.exe". se c -flat_check -all_check -debug test_alg09.e -o test_alg09.exe Running (-flat_check -all_check -debug) "test_alg09.exe". se clean test_alg09.e Removing (-flat_check -all_check -debug) "test_alg09.exe". se c -no_check test_alg09.e -o test_alg09.exe Running (-no_check) "test_alg09.exe". se clean test_alg09.e Removing (-no_check) "test_alg09.exe". se c -flat_check -require_check test_alg09.e -o test_alg09.exe Running (-flat_check -require_check) "test_alg09.exe". se clean test_alg09.e Removing (-flat_check -require_check) "test_alg09.exe". se c -flat_check -ensure_check test_alg09.e -o test_alg09.exe Running (-flat_check -ensure_check) "test_alg09.exe". se clean test_alg09.e Removing (-flat_check -ensure_check) "test_alg09.exe". se c -flat_check -invariant_check test_alg09.e -o test_alg09.exe Running (-flat_check -invariant_check) "test_alg09.exe". se clean test_alg09.e Removing (-flat_check -invariant_check) "test_alg09.exe". se c -flat_check -loop_check test_alg09.e -o test_alg09.exe Running (-flat_check -loop_check) "test_alg09.exe". se clean test_alg09.e Removing (-flat_check -loop_check) "test_alg09.exe". se c -flat_check -all_check test_alg09.e -o test_alg09.exe Running (-flat_check -all_check) "test_alg09.exe". se clean test_alg09.e Removing (-flat_check -all_check) "test_alg09.exe". Excluded command: "se c -no_gc -boost test_alg09.e -o test_alg09.exe". By excluded.lst: "se c -no_gc". Excluded command: "se c -no_gc -boost -debug test_alg09.e -o test_alg09.exe". By excluded.lst: "se c -no_gc". Excluded command: "se c -no_gc -no_check test_alg09.e -o test_alg09.exe". By excluded.lst: "se c -no_gc". Excluded command: "se c -no_gc -flat_check -require_check test_alg09.e -o test_alg09.exe". By excluded.lst: "se c -no_gc". Excluded command: "se c -no_gc -ensure_check test_alg09.e -o test_alg09.exe". By excluded.lst: "se c -no_gc". Excluded command: "se c -no_gc -flat_check -invariant_check test_alg09.e -o test_alg09.exe". By excluded.lst: "se c -no_gc". Excluded command: "se c -no_gc -flat_check -loop_check test_alg09.e -o test_alg09.exe". By excluded.lst: "se c -no_gc". Excluded command: "se c -no_gc -flat_check -all_check test_alg09.e -o test_alg09.exe". By excluded.lst: "se c -no_gc". se c -boost -bdw_gc test_alg09.e -o test_alg09.exe Running (-boost -bdw_gc) "test_alg09.exe". se clean test_alg09.e Removing (-boost -bdw_gc) "test_alg09.exe". se c -boost -debug -bdw_gc test_alg09.e -o test_alg09.exe Running (-boost -debug -bdw_gc) "test_alg09.exe". se clean test_alg09.e Removing (-boost -debug -bdw_gc) "test_alg09.exe". se c -no_check -bdw_gc test_alg09.e -o test_alg09.exe Running (-no_check -bdw_gc) "test_alg09.exe". se clean test_alg09.e Removing (-no_check -bdw_gc) "test_alg09.exe". se c -flat_check -require_check -bdw_gc test_alg09.e -o test_alg09.exe Running (-flat_check -require_check -bdw_gc) "test_alg09.exe". se clean test_alg09.e Removing (-flat_check -require_check -bdw_gc) "test_alg09.exe". Excluded command: "se c -ensure_check -bdw_gc test_alg09.e -o test_alg09.exe". By excluded.lst: "se c -ensure_check". se c -flat_check -invariant_check -bdw_gc test_alg09.e -o test_alg09.exe Running (-flat_check -invariant_check -bdw_gc) "test_alg09.exe". se clean test_alg09.e Removing (-flat_check -invariant_check -bdw_gc) "test_alg09.exe". se c -flat_check -loop_check -bdw_gc test_alg09.e -o test_alg09.exe Running (-flat_check -loop_check -bdw_gc) "test_alg09.exe". se clean test_alg09.e Removing (-flat_check -loop_check -bdw_gc) "test_alg09.exe". se c -flat_check -all_check -bdw_gc test_alg09.e -o test_alg09.exe Running (-flat_check -all_check -bdw_gc) "test_alg09.exe". se clean test_alg09.e Removing (-flat_check -all_check -bdw_gc) "test_alg09.exe". Excluded command: "se c -all_check -debug test_alg09.e -o test_alg09.exe". By excluded.lst: "se c -all_check -debug". se c -require_check test_alg09.e -o test_alg09.exe Running (-require_check) "test_alg09.exe". se clean test_alg09.e Removing (-require_check) "test_alg09.exe". Excluded command: "se c -ensure_check test_alg09.e -o test_alg09.exe". By excluded.lst: "se c -ensure_check". Excluded command: "se c -invariant_check test_alg09.e -o test_alg09.exe". By excluded.lst: "se c -invariant_check". Excluded command: "se c -loop_check test_alg09.e -o test_alg09.exe". By excluded.lst: "se c -loop_check". Excluded command: "se c -all_check test_alg09.e -o test_alg09.exe". By excluded.lst: "se c -all_check". Excluded command: "se c -no_gc -require_check test_alg09.e -o test_alg09.exe". By excluded.lst: "se c -no_gc". Excluded command: "se c -no_gc -ensure_check test_alg09.e -o test_alg09.exe". By excluded.lst: "se c -no_gc". Excluded command: "se c -no_gc -invariant_check test_alg09.e -o test_alg09.exe". By excluded.lst: "se c -no_gc". Excluded command: "se c -no_gc -loop_check test_alg09.e -o test_alg09.exe". By excluded.lst: "se c -no_gc". Excluded command: "se c -no_gc -all_check test_alg09.e -o test_alg09.exe". By excluded.lst: "se c -no_gc". se c -require_check -bdw_gc test_alg09.e -o test_alg09.exe Running (-require_check -bdw_gc) "test_alg09.exe". se clean test_alg09.e Removing (-require_check -bdw_gc) "test_alg09.exe". Excluded command: "se c -ensure_check -bdw_gc test_alg09.e -o test_alg09.exe". By excluded.lst: "se c -ensure_check". Excluded command: "se c -invariant_check -bdw_gc test_alg09.e -o test_alg09.exe". By excluded.lst: "se c -invariant_check". Excluded command: "se c -loop_check -bdw_gc test_alg09.e -o test_alg09.exe". By excluded.lst: "se c -loop_check". Excluded command: "se c -all_check -bdw_gc test_alg09.e -o test_alg09.exe". By excluded.lst: "se c -all_check". Excluded command: "se c -profile -boost test_alg09.e -o test_alg09.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -all_check -debug test_alg09.e -o test_alg09.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -no_check test_alg09.e -o test_alg09.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -require_check test_alg09.e -o test_alg09.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -ensure_check test_alg09.e -o test_alg09.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -invariant_check test_alg09.e -o test_alg09.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -loop_check test_alg09.e -o test_alg09.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -all_check test_alg09.e -o test_alg09.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -no_gc -boost test_alg09.e -o test_alg09.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -no_gc -no_check test_alg09.e -o test_alg09.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -no_gc -require_check test_alg09.e -o test_alg09.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -no_gc -ensure_check test_alg09.e -o test_alg09.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -no_gc -invariant_check test_alg09.e -o test_alg09.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -no_gc -loop_check test_alg09.e -o test_alg09.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -no_gc -all_check test_alg09.e -o test_alg09.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -boost -bdw_gc test_alg09.e -o test_alg09.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -no_check -bdw_gc test_alg09.e -o test_alg09.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -require_check -bdw_gc test_alg09.e -o test_alg09.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -ensure_check -bdw_gc test_alg09.e -o test_alg09.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -invariant_check -bdw_gc test_alg09.e -o test_alg09.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -loop_check -bdw_gc test_alg09.e -o test_alg09.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -all_check -bdw_gc test_alg09.e -o test_alg09.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -flat_check -require_check test_alg09.e -o test_alg09.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -flat_check -ensure_check test_alg09.e -o test_alg09.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -flat_check -invariant_check test_alg09.e -o test_alg09.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -flat_check -loop_check test_alg09.e -o test_alg09.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -flat_check -all_check test_alg09.e -o test_alg09.exe". By excluded.lst: "se c -profile". se c -no_split -boost test_alg09.e -o test_alg09.exe Running (-no_split -boost) "test_alg09.exe". se clean test_alg09.e Removing (-no_split -boost) "test_alg09.exe". se c -no_split -no_gc -boost test_alg09.e -o test_alg09.exe Running (-no_split -no_gc -boost) "test_alg09.exe". se clean test_alg09.e Removing (-no_split -no_gc -boost) "test_alg09.exe". se c -no_split -boost -bdw_gc test_alg09.e -o test_alg09.exe Running (-no_split -boost -bdw_gc) "test_alg09.exe". se clean test_alg09.e Removing (-no_split -boost -bdw_gc) "test_alg09.exe". se c -boost test_alg10.e -o test_alg10.exe Running (-boost) "test_alg10.exe". se clean test_alg10.e Removing (-boost) "test_alg10.exe". se c -flat_check -all_check -debug test_alg10.e -o test_alg10.exe Running (-flat_check -all_check -debug) "test_alg10.exe". se clean test_alg10.e Removing (-flat_check -all_check -debug) "test_alg10.exe". se c -no_check test_alg10.e -o test_alg10.exe Running (-no_check) "test_alg10.exe". se clean test_alg10.e Removing (-no_check) "test_alg10.exe". se c -flat_check -require_check test_alg10.e -o test_alg10.exe Running (-flat_check -require_check) "test_alg10.exe". se clean test_alg10.e Removing (-flat_check -require_check) "test_alg10.exe". se c -flat_check -ensure_check test_alg10.e -o test_alg10.exe Running (-flat_check -ensure_check) "test_alg10.exe". se clean test_alg10.e Removing (-flat_check -ensure_check) "test_alg10.exe". se c -flat_check -invariant_check test_alg10.e -o test_alg10.exe Running (-flat_check -invariant_check) "test_alg10.exe". se clean test_alg10.e Removing (-flat_check -invariant_check) "test_alg10.exe". se c -flat_check -loop_check test_alg10.e -o test_alg10.exe Running (-flat_check -loop_check) "test_alg10.exe". se clean test_alg10.e Removing (-flat_check -loop_check) "test_alg10.exe". se c -flat_check -all_check test_alg10.e -o test_alg10.exe Running (-flat_check -all_check) "test_alg10.exe". se clean test_alg10.e Removing (-flat_check -all_check) "test_alg10.exe". Excluded command: "se c -no_gc -boost test_alg10.e -o test_alg10.exe". By excluded.lst: "se c -no_gc". Excluded command: "se c -no_gc -boost -debug test_alg10.e -o test_alg10.exe". By excluded.lst: "se c -no_gc". Excluded command: "se c -no_gc -no_check test_alg10.e -o test_alg10.exe". By excluded.lst: "se c -no_gc". Excluded command: "se c -no_gc -flat_check -require_check test_alg10.e -o test_alg10.exe". By excluded.lst: "se c -no_gc". Excluded command: "se c -no_gc -ensure_check test_alg10.e -o test_alg10.exe". By excluded.lst: "se c -no_gc". Excluded command: "se c -no_gc -flat_check -invariant_check test_alg10.e -o test_alg10.exe". By excluded.lst: "se c -no_gc". Excluded command: "se c -no_gc -flat_check -loop_check test_alg10.e -o test_alg10.exe". By excluded.lst: "se c -no_gc". Excluded command: "se c -no_gc -flat_check -all_check test_alg10.e -o test_alg10.exe". By excluded.lst: "se c -no_gc". se c -boost -bdw_gc test_alg10.e -o test_alg10.exe Running (-boost -bdw_gc) "test_alg10.exe". se clean test_alg10.e Removing (-boost -bdw_gc) "test_alg10.exe". se c -boost -debug -bdw_gc test_alg10.e -o test_alg10.exe Running (-boost -debug -bdw_gc) "test_alg10.exe". se clean test_alg10.e Removing (-boost -debug -bdw_gc) "test_alg10.exe". se c -no_check -bdw_gc test_alg10.e -o test_alg10.exe Running (-no_check -bdw_gc) "test_alg10.exe". se clean test_alg10.e Removing (-no_check -bdw_gc) "test_alg10.exe". se c -flat_check -require_check -bdw_gc test_alg10.e -o test_alg10.exe Running (-flat_check -require_check -bdw_gc) "test_alg10.exe". se clean test_alg10.e Removing (-flat_check -require_check -bdw_gc) "test_alg10.exe". Excluded command: "se c -ensure_check -bdw_gc test_alg10.e -o test_alg10.exe". By excluded.lst: "se c -ensure_check". se c -flat_check -invariant_check -bdw_gc test_alg10.e -o test_alg10.exe Running (-flat_check -invariant_check -bdw_gc) "test_alg10.exe". se clean test_alg10.e Removing (-flat_check -invariant_check -bdw_gc) "test_alg10.exe". se c -flat_check -loop_check -bdw_gc test_alg10.e -o test_alg10.exe Running (-flat_check -loop_check -bdw_gc) "test_alg10.exe". se clean test_alg10.e Removing (-flat_check -loop_check -bdw_gc) "test_alg10.exe". se c -flat_check -all_check -bdw_gc test_alg10.e -o test_alg10.exe Running (-flat_check -all_check -bdw_gc) "test_alg10.exe". se clean test_alg10.e Removing (-flat_check -all_check -bdw_gc) "test_alg10.exe". Excluded command: "se c -all_check -debug test_alg10.e -o test_alg10.exe". By excluded.lst: "se c -all_check -debug". se c -require_check test_alg10.e -o test_alg10.exe Running (-require_check) "test_alg10.exe". se clean test_alg10.e Removing (-require_check) "test_alg10.exe". Excluded command: "se c -ensure_check test_alg10.e -o test_alg10.exe". By excluded.lst: "se c -ensure_check". Excluded command: "se c -invariant_check test_alg10.e -o test_alg10.exe". By excluded.lst: "se c -invariant_check". Excluded command: "se c -loop_check test_alg10.e -o test_alg10.exe". By excluded.lst: "se c -loop_check". Excluded command: "se c -all_check test_alg10.e -o test_alg10.exe". By excluded.lst: "se c -all_check". Excluded command: "se c -no_gc -require_check test_alg10.e -o test_alg10.exe". By excluded.lst: "se c -no_gc". Excluded command: "se c -no_gc -ensure_check test_alg10.e -o test_alg10.exe". By excluded.lst: "se c -no_gc". Excluded command: "se c -no_gc -invariant_check test_alg10.e -o test_alg10.exe". By excluded.lst: "se c -no_gc". Excluded command: "se c -no_gc -loop_check test_alg10.e -o test_alg10.exe". By excluded.lst: "se c -no_gc". Excluded command: "se c -no_gc -all_check test_alg10.e -o test_alg10.exe". By excluded.lst: "se c -no_gc". se c -require_check -bdw_gc test_alg10.e -o test_alg10.exe Running (-require_check -bdw_gc) "test_alg10.exe". se clean test_alg10.e Removing (-require_check -bdw_gc) "test_alg10.exe". Excluded command: "se c -ensure_check -bdw_gc test_alg10.e -o test_alg10.exe". By excluded.lst: "se c -ensure_check". Excluded command: "se c -invariant_check -bdw_gc test_alg10.e -o test_alg10.exe". By excluded.lst: "se c -invariant_check". Excluded command: "se c -loop_check -bdw_gc test_alg10.e -o test_alg10.exe". By excluded.lst: "se c -loop_check". Excluded command: "se c -all_check -bdw_gc test_alg10.e -o test_alg10.exe". By excluded.lst: "se c -all_check". Excluded command: "se c -profile -boost test_alg10.e -o test_alg10.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -all_check -debug test_alg10.e -o test_alg10.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -no_check test_alg10.e -o test_alg10.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -require_check test_alg10.e -o test_alg10.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -ensure_check test_alg10.e -o test_alg10.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -invariant_check test_alg10.e -o test_alg10.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -loop_check test_alg10.e -o test_alg10.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -all_check test_alg10.e -o test_alg10.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -no_gc -boost test_alg10.e -o test_alg10.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -no_gc -no_check test_alg10.e -o test_alg10.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -no_gc -require_check test_alg10.e -o test_alg10.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -no_gc -ensure_check test_alg10.e -o test_alg10.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -no_gc -invariant_check test_alg10.e -o test_alg10.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -no_gc -loop_check test_alg10.e -o test_alg10.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -no_gc -all_check test_alg10.e -o test_alg10.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -boost -bdw_gc test_alg10.e -o test_alg10.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -no_check -bdw_gc test_alg10.e -o test_alg10.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -require_check -bdw_gc test_alg10.e -o test_alg10.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -ensure_check -bdw_gc test_alg10.e -o test_alg10.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -invariant_check -bdw_gc test_alg10.e -o test_alg10.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -loop_check -bdw_gc test_alg10.e -o test_alg10.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -all_check -bdw_gc test_alg10.e -o test_alg10.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -flat_check -require_check test_alg10.e -o test_alg10.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -flat_check -ensure_check test_alg10.e -o test_alg10.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -flat_check -invariant_check test_alg10.e -o test_alg10.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -flat_check -loop_check test_alg10.e -o test_alg10.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -flat_check -all_check test_alg10.e -o test_alg10.exe". By excluded.lst: "se c -profile". se c -no_split -boost test_alg10.e -o test_alg10.exe Running (-no_split -boost) "test_alg10.exe". se clean test_alg10.e Removing (-no_split -boost) "test_alg10.exe". se c -no_split -no_gc -boost test_alg10.e -o test_alg10.exe Running (-no_split -no_gc -boost) "test_alg10.exe". se clean test_alg10.e Removing (-no_split -no_gc -boost) "test_alg10.exe". se c -no_split -boost -bdw_gc test_alg10.e -o test_alg10.exe Running (-no_split -boost -bdw_gc) "test_alg10.exe". se clean test_alg10.e Removing (-no_split -boost -bdw_gc) "test_alg10.exe". se c -boost test_alg11.e -o test_alg11.exe Running (-boost) "test_alg11.exe". se clean test_alg11.e Removing (-boost) "test_alg11.exe". se c -flat_check -all_check -debug test_alg11.e -o test_alg11.exe Running (-flat_check -all_check -debug) "test_alg11.exe". se clean test_alg11.e Removing (-flat_check -all_check -debug) "test_alg11.exe". se c -no_check test_alg11.e -o test_alg11.exe Running (-no_check) "test_alg11.exe". se clean test_alg11.e Removing (-no_check) "test_alg11.exe". se c -flat_check -require_check test_alg11.e -o test_alg11.exe Running (-flat_check -require_check) "test_alg11.exe". se clean test_alg11.e Removing (-flat_check -require_check) "test_alg11.exe". se c -flat_check -ensure_check test_alg11.e -o test_alg11.exe Running (-flat_check -ensure_check) "test_alg11.exe". se clean test_alg11.e Removing (-flat_check -ensure_check) "test_alg11.exe". se c -flat_check -invariant_check test_alg11.e -o test_alg11.exe Running (-flat_check -invariant_check) "test_alg11.exe". se clean test_alg11.e Removing (-flat_check -invariant_check) "test_alg11.exe". se c -flat_check -loop_check test_alg11.e -o test_alg11.exe Running (-flat_check -loop_check) "test_alg11.exe". se clean test_alg11.e Removing (-flat_check -loop_check) "test_alg11.exe". se c -flat_check -all_check test_alg11.e -o test_alg11.exe Running (-flat_check -all_check) "test_alg11.exe". se clean test_alg11.e Removing (-flat_check -all_check) "test_alg11.exe". Excluded command: "se c -no_gc -boost test_alg11.e -o test_alg11.exe". By excluded.lst: "se c -no_gc". Excluded command: "se c -no_gc -boost -debug test_alg11.e -o test_alg11.exe". By excluded.lst: "se c -no_gc". Excluded command: "se c -no_gc -no_check test_alg11.e -o test_alg11.exe". By excluded.lst: "se c -no_gc". Excluded command: "se c -no_gc -flat_check -require_check test_alg11.e -o test_alg11.exe". By excluded.lst: "se c -no_gc". Excluded command: "se c -no_gc -ensure_check test_alg11.e -o test_alg11.exe". By excluded.lst: "se c -no_gc". Excluded command: "se c -no_gc -flat_check -invariant_check test_alg11.e -o test_alg11.exe". By excluded.lst: "se c -no_gc". Excluded command: "se c -no_gc -flat_check -loop_check test_alg11.e -o test_alg11.exe". By excluded.lst: "se c -no_gc". Excluded command: "se c -no_gc -flat_check -all_check test_alg11.e -o test_alg11.exe". By excluded.lst: "se c -no_gc". se c -boost -bdw_gc test_alg11.e -o test_alg11.exe Running (-boost -bdw_gc) "test_alg11.exe". se clean test_alg11.e Removing (-boost -bdw_gc) "test_alg11.exe". se c -boost -debug -bdw_gc test_alg11.e -o test_alg11.exe Running (-boost -debug -bdw_gc) "test_alg11.exe". se clean test_alg11.e Removing (-boost -debug -bdw_gc) "test_alg11.exe". se c -no_check -bdw_gc test_alg11.e -o test_alg11.exe Running (-no_check -bdw_gc) "test_alg11.exe". se clean test_alg11.e Removing (-no_check -bdw_gc) "test_alg11.exe". se c -flat_check -require_check -bdw_gc test_alg11.e -o test_alg11.exe Running (-flat_check -require_check -bdw_gc) "test_alg11.exe". se clean test_alg11.e Removing (-flat_check -require_check -bdw_gc) "test_alg11.exe". Excluded command: "se c -ensure_check -bdw_gc test_alg11.e -o test_alg11.exe". By excluded.lst: "se c -ensure_check". se c -flat_check -invariant_check -bdw_gc test_alg11.e -o test_alg11.exe Running (-flat_check -invariant_check -bdw_gc) "test_alg11.exe". se clean test_alg11.e Removing (-flat_check -invariant_check -bdw_gc) "test_alg11.exe". se c -flat_check -loop_check -bdw_gc test_alg11.e -o test_alg11.exe Running (-flat_check -loop_check -bdw_gc) "test_alg11.exe". se clean test_alg11.e Removing (-flat_check -loop_check -bdw_gc) "test_alg11.exe". se c -flat_check -all_check -bdw_gc test_alg11.e -o test_alg11.exe Running (-flat_check -all_check -bdw_gc) "test_alg11.exe". se clean test_alg11.e Removing (-flat_check -all_check -bdw_gc) "test_alg11.exe". Excluded command: "se c -all_check -debug test_alg11.e -o test_alg11.exe". By excluded.lst: "se c -all_check -debug". se c -require_check test_alg11.e -o test_alg11.exe Running (-require_check) "test_alg11.exe". se clean test_alg11.e Removing (-require_check) "test_alg11.exe". Excluded command: "se c -ensure_check test_alg11.e -o test_alg11.exe". By excluded.lst: "se c -ensure_check". Excluded command: "se c -invariant_check test_alg11.e -o test_alg11.exe". By excluded.lst: "se c -invariant_check". Excluded command: "se c -loop_check test_alg11.e -o test_alg11.exe". By excluded.lst: "se c -loop_check". Excluded command: "se c -all_check test_alg11.e -o test_alg11.exe". By excluded.lst: "se c -all_check". Excluded command: "se c -no_gc -require_check test_alg11.e -o test_alg11.exe". By excluded.lst: "se c -no_gc". Excluded command: "se c -no_gc -ensure_check test_alg11.e -o test_alg11.exe". By excluded.lst: "se c -no_gc". Excluded command: "se c -no_gc -invariant_check test_alg11.e -o test_alg11.exe". By excluded.lst: "se c -no_gc". Excluded command: "se c -no_gc -loop_check test_alg11.e -o test_alg11.exe". By excluded.lst: "se c -no_gc". Excluded command: "se c -no_gc -all_check test_alg11.e -o test_alg11.exe". By excluded.lst: "se c -no_gc". se c -require_check -bdw_gc test_alg11.e -o test_alg11.exe Running (-require_check -bdw_gc) "test_alg11.exe". se clean test_alg11.e Removing (-require_check -bdw_gc) "test_alg11.exe". Excluded command: "se c -ensure_check -bdw_gc test_alg11.e -o test_alg11.exe". By excluded.lst: "se c -ensure_check". Excluded command: "se c -invariant_check -bdw_gc test_alg11.e -o test_alg11.exe". By excluded.lst: "se c -invariant_check". Excluded command: "se c -loop_check -bdw_gc test_alg11.e -o test_alg11.exe". By excluded.lst: "se c -loop_check". Excluded command: "se c -all_check -bdw_gc test_alg11.e -o test_alg11.exe". By excluded.lst: "se c -all_check". Excluded command: "se c -profile -boost test_alg11.e -o test_alg11.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -all_check -debug test_alg11.e -o test_alg11.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -no_check test_alg11.e -o test_alg11.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -require_check test_alg11.e -o test_alg11.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -ensure_check test_alg11.e -o test_alg11.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -invariant_check test_alg11.e -o test_alg11.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -loop_check test_alg11.e -o test_alg11.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -all_check test_alg11.e -o test_alg11.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -no_gc -boost test_alg11.e -o test_alg11.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -no_gc -no_check test_alg11.e -o test_alg11.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -no_gc -require_check test_alg11.e -o test_alg11.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -no_gc -ensure_check test_alg11.e -o test_alg11.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -no_gc -invariant_check test_alg11.e -o test_alg11.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -no_gc -loop_check test_alg11.e -o test_alg11.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -no_gc -all_check test_alg11.e -o test_alg11.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -boost -bdw_gc test_alg11.e -o test_alg11.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -no_check -bdw_gc test_alg11.e -o test_alg11.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -require_check -bdw_gc test_alg11.e -o test_alg11.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -ensure_check -bdw_gc test_alg11.e -o test_alg11.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -invariant_check -bdw_gc test_alg11.e -o test_alg11.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -loop_check -bdw_gc test_alg11.e -o test_alg11.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -all_check -bdw_gc test_alg11.e -o test_alg11.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -flat_check -require_check test_alg11.e -o test_alg11.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -flat_check -ensure_check test_alg11.e -o test_alg11.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -flat_check -invariant_check test_alg11.e -o test_alg11.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -flat_check -loop_check test_alg11.e -o test_alg11.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -flat_check -all_check test_alg11.e -o test_alg11.exe". By excluded.lst: "se c -profile". se c -no_split -boost test_alg11.e -o test_alg11.exe Running (-no_split -boost) "test_alg11.exe". se clean test_alg11.e Removing (-no_split -boost) "test_alg11.exe". se c -no_split -no_gc -boost test_alg11.e -o test_alg11.exe Running (-no_split -no_gc -boost) "test_alg11.exe". se clean test_alg11.e Removing (-no_split -no_gc -boost) "test_alg11.exe". se c -no_split -boost -bdw_gc test_alg11.e -o test_alg11.exe Running (-no_split -boost -bdw_gc) "test_alg11.exe". se clean test_alg11.e Removing (-no_split -boost -bdw_gc) "test_alg11.exe". se c -boost test_alg12.e -o test_alg12.exe Running (-boost) "test_alg12.exe". se clean test_alg12.e Removing (-boost) "test_alg12.exe". se c -flat_check -all_check -debug test_alg12.e -o test_alg12.exe Running (-flat_check -all_check -debug) "test_alg12.exe". se clean test_alg12.e Removing (-flat_check -all_check -debug) "test_alg12.exe". se c -no_check test_alg12.e -o test_alg12.exe Running (-no_check) "test_alg12.exe". se clean test_alg12.e Removing (-no_check) "test_alg12.exe". se c -flat_check -require_check test_alg12.e -o test_alg12.exe Running (-flat_check -require_check) "test_alg12.exe". se clean test_alg12.e Removing (-flat_check -require_check) "test_alg12.exe". se c -flat_check -ensure_check test_alg12.e -o test_alg12.exe Running (-flat_check -ensure_check) "test_alg12.exe". se clean test_alg12.e Removing (-flat_check -ensure_check) "test_alg12.exe". se c -flat_check -invariant_check test_alg12.e -o test_alg12.exe Running (-flat_check -invariant_check) "test_alg12.exe". se clean test_alg12.e Removing (-flat_check -invariant_check) "test_alg12.exe". se c -flat_check -loop_check test_alg12.e -o test_alg12.exe Running (-flat_check -loop_check) "test_alg12.exe". se clean test_alg12.e Removing (-flat_check -loop_check) "test_alg12.exe". se c -flat_check -all_check test_alg12.e -o test_alg12.exe Running (-flat_check -all_check) "test_alg12.exe". se clean test_alg12.e Removing (-flat_check -all_check) "test_alg12.exe". Excluded command: "se c -no_gc -boost test_alg12.e -o test_alg12.exe". By excluded.lst: "se c -no_gc". Excluded command: "se c -no_gc -boost -debug test_alg12.e -o test_alg12.exe". By excluded.lst: "se c -no_gc". Excluded command: "se c -no_gc -no_check test_alg12.e -o test_alg12.exe". By excluded.lst: "se c -no_gc". Excluded command: "se c -no_gc -flat_check -require_check test_alg12.e -o test_alg12.exe". By excluded.lst: "se c -no_gc". Excluded command: "se c -no_gc -ensure_check test_alg12.e -o test_alg12.exe". By excluded.lst: "se c -no_gc". Excluded command: "se c -no_gc -flat_check -invariant_check test_alg12.e -o test_alg12.exe". By excluded.lst: "se c -no_gc". Excluded command: "se c -no_gc -flat_check -loop_check test_alg12.e -o test_alg12.exe". By excluded.lst: "se c -no_gc". Excluded command: "se c -no_gc -flat_check -all_check test_alg12.e -o test_alg12.exe". By excluded.lst: "se c -no_gc". se c -boost -bdw_gc test_alg12.e -o test_alg12.exe Running (-boost -bdw_gc) "test_alg12.exe". se clean test_alg12.e Removing (-boost -bdw_gc) "test_alg12.exe". se c -boost -debug -bdw_gc test_alg12.e -o test_alg12.exe Running (-boost -debug -bdw_gc) "test_alg12.exe". se clean test_alg12.e Removing (-boost -debug -bdw_gc) "test_alg12.exe". se c -no_check -bdw_gc test_alg12.e -o test_alg12.exe Running (-no_check -bdw_gc) "test_alg12.exe". se clean test_alg12.e Removing (-no_check -bdw_gc) "test_alg12.exe". se c -flat_check -require_check -bdw_gc test_alg12.e -o test_alg12.exe Running (-flat_check -require_check -bdw_gc) "test_alg12.exe". se clean test_alg12.e Removing (-flat_check -require_check -bdw_gc) "test_alg12.exe". Excluded command: "se c -ensure_check -bdw_gc test_alg12.e -o test_alg12.exe". By excluded.lst: "se c -ensure_check". se c -flat_check -invariant_check -bdw_gc test_alg12.e -o test_alg12.exe Running (-flat_check -invariant_check -bdw_gc) "test_alg12.exe". se clean test_alg12.e Removing (-flat_check -invariant_check -bdw_gc) "test_alg12.exe". se c -flat_check -loop_check -bdw_gc test_alg12.e -o test_alg12.exe Running (-flat_check -loop_check -bdw_gc) "test_alg12.exe". se clean test_alg12.e Removing (-flat_check -loop_check -bdw_gc) "test_alg12.exe". se c -flat_check -all_check -bdw_gc test_alg12.e -o test_alg12.exe Running (-flat_check -all_check -bdw_gc) "test_alg12.exe". se clean test_alg12.e Removing (-flat_check -all_check -bdw_gc) "test_alg12.exe". Excluded command: "se c -all_check -debug test_alg12.e -o test_alg12.exe". By excluded.lst: "se c -all_check -debug". se c -require_check test_alg12.e -o test_alg12.exe Running (-require_check) "test_alg12.exe". se clean test_alg12.e Removing (-require_check) "test_alg12.exe". Excluded command: "se c -ensure_check test_alg12.e -o test_alg12.exe". By excluded.lst: "se c -ensure_check". Excluded command: "se c -invariant_check test_alg12.e -o test_alg12.exe". By excluded.lst: "se c -invariant_check". Excluded command: "se c -loop_check test_alg12.e -o test_alg12.exe". By excluded.lst: "se c -loop_check". Excluded command: "se c -all_check test_alg12.e -o test_alg12.exe". By excluded.lst: "se c -all_check". Excluded command: "se c -no_gc -require_check test_alg12.e -o test_alg12.exe". By excluded.lst: "se c -no_gc". Excluded command: "se c -no_gc -ensure_check test_alg12.e -o test_alg12.exe". By excluded.lst: "se c -no_gc". Excluded command: "se c -no_gc -invariant_check test_alg12.e -o test_alg12.exe". By excluded.lst: "se c -no_gc". Excluded command: "se c -no_gc -loop_check test_alg12.e -o test_alg12.exe". By excluded.lst: "se c -no_gc". Excluded command: "se c -no_gc -all_check test_alg12.e -o test_alg12.exe". By excluded.lst: "se c -no_gc". se c -require_check -bdw_gc test_alg12.e -o test_alg12.exe Running (-require_check -bdw_gc) "test_alg12.exe". se clean test_alg12.e Removing (-require_check -bdw_gc) "test_alg12.exe". Excluded command: "se c -ensure_check -bdw_gc test_alg12.e -o test_alg12.exe". By excluded.lst: "se c -ensure_check". Excluded command: "se c -invariant_check -bdw_gc test_alg12.e -o test_alg12.exe". By excluded.lst: "se c -invariant_check". Excluded command: "se c -loop_check -bdw_gc test_alg12.e -o test_alg12.exe". By excluded.lst: "se c -loop_check". Excluded command: "se c -all_check -bdw_gc test_alg12.e -o test_alg12.exe". By excluded.lst: "se c -all_check". Excluded command: "se c -profile -boost test_alg12.e -o test_alg12.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -all_check -debug test_alg12.e -o test_alg12.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -no_check test_alg12.e -o test_alg12.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -require_check test_alg12.e -o test_alg12.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -ensure_check test_alg12.e -o test_alg12.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -invariant_check test_alg12.e -o test_alg12.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -loop_check test_alg12.e -o test_alg12.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -all_check test_alg12.e -o test_alg12.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -no_gc -boost test_alg12.e -o test_alg12.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -no_gc -no_check test_alg12.e -o test_alg12.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -no_gc -require_check test_alg12.e -o test_alg12.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -no_gc -ensure_check test_alg12.e -o test_alg12.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -no_gc -invariant_check test_alg12.e -o test_alg12.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -no_gc -loop_check test_alg12.e -o test_alg12.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -no_gc -all_check test_alg12.e -o test_alg12.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -boost -bdw_gc test_alg12.e -o test_alg12.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -no_check -bdw_gc test_alg12.e -o test_alg12.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -require_check -bdw_gc test_alg12.e -o test_alg12.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -ensure_check -bdw_gc test_alg12.e -o test_alg12.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -invariant_check -bdw_gc test_alg12.e -o test_alg12.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -loop_check -bdw_gc test_alg12.e -o test_alg12.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -all_check -bdw_gc test_alg12.e -o test_alg12.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -flat_check -require_check test_alg12.e -o test_alg12.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -flat_check -ensure_check test_alg12.e -o test_alg12.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -flat_check -invariant_check test_alg12.e -o test_alg12.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -flat_check -loop_check test_alg12.e -o test_alg12.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -flat_check -all_check test_alg12.e -o test_alg12.exe". By excluded.lst: "se c -profile". se c -no_split -boost test_alg12.e -o test_alg12.exe Running (-no_split -boost) "test_alg12.exe". se clean test_alg12.e Removing (-no_split -boost) "test_alg12.exe". se c -no_split -no_gc -boost test_alg12.e -o test_alg12.exe Running (-no_split -no_gc -boost) "test_alg12.exe". se clean test_alg12.e Removing (-no_split -no_gc -boost) "test_alg12.exe". se c -no_split -boost -bdw_gc test_alg12.e -o test_alg12.exe Running (-no_split -boost -bdw_gc) "test_alg12.exe". se clean test_alg12.e Removing (-no_split -boost -bdw_gc) "test_alg12.exe". se c -boost test_alg14.e -o test_alg14.exe Running (-boost) "test_alg14.exe". se clean test_alg14.e Removing (-boost) "test_alg14.exe". se c -flat_check -all_check -debug test_alg14.e -o test_alg14.exe Running (-flat_check -all_check -debug) "test_alg14.exe". se clean test_alg14.e Removing (-flat_check -all_check -debug) "test_alg14.exe". se c -no_check test_alg14.e -o test_alg14.exe Running (-no_check) "test_alg14.exe". se clean test_alg14.e Removing (-no_check) "test_alg14.exe". se c -flat_check -require_check test_alg14.e -o test_alg14.exe Running (-flat_check -require_check) "test_alg14.exe". se clean test_alg14.e Removing (-flat_check -require_check) "test_alg14.exe". se c -flat_check -ensure_check test_alg14.e -o test_alg14.exe Running (-flat_check -ensure_check) "test_alg14.exe". se clean test_alg14.e Removing (-flat_check -ensure_check) "test_alg14.exe". se c -flat_check -invariant_check test_alg14.e -o test_alg14.exe Running (-flat_check -invariant_check) "test_alg14.exe". se clean test_alg14.e Removing (-flat_check -invariant_check) "test_alg14.exe". se c -flat_check -loop_check test_alg14.e -o test_alg14.exe Running (-flat_check -loop_check) "test_alg14.exe". se clean test_alg14.e Removing (-flat_check -loop_check) "test_alg14.exe". se c -flat_check -all_check test_alg14.e -o test_alg14.exe Running (-flat_check -all_check) "test_alg14.exe". se clean test_alg14.e Removing (-flat_check -all_check) "test_alg14.exe". Excluded command: "se c -no_gc -boost test_alg14.e -o test_alg14.exe". By excluded.lst: "se c -no_gc". Excluded command: "se c -no_gc -boost -debug test_alg14.e -o test_alg14.exe". By excluded.lst: "se c -no_gc". Excluded command: "se c -no_gc -no_check test_alg14.e -o test_alg14.exe". By excluded.lst: "se c -no_gc". Excluded command: "se c -no_gc -flat_check -require_check test_alg14.e -o test_alg14.exe". By excluded.lst: "se c -no_gc". Excluded command: "se c -no_gc -ensure_check test_alg14.e -o test_alg14.exe". By excluded.lst: "se c -no_gc". Excluded command: "se c -no_gc -flat_check -invariant_check test_alg14.e -o test_alg14.exe". By excluded.lst: "se c -no_gc". Excluded command: "se c -no_gc -flat_check -loop_check test_alg14.e -o test_alg14.exe". By excluded.lst: "se c -no_gc". Excluded command: "se c -no_gc -flat_check -all_check test_alg14.e -o test_alg14.exe". By excluded.lst: "se c -no_gc". se c -boost -bdw_gc test_alg14.e -o test_alg14.exe Running (-boost -bdw_gc) "test_alg14.exe". se clean test_alg14.e Removing (-boost -bdw_gc) "test_alg14.exe". se c -boost -debug -bdw_gc test_alg14.e -o test_alg14.exe Running (-boost -debug -bdw_gc) "test_alg14.exe". se clean test_alg14.e Removing (-boost -debug -bdw_gc) "test_alg14.exe". se c -no_check -bdw_gc test_alg14.e -o test_alg14.exe Running (-no_check -bdw_gc) "test_alg14.exe". se clean test_alg14.e Removing (-no_check -bdw_gc) "test_alg14.exe". se c -flat_check -require_check -bdw_gc test_alg14.e -o test_alg14.exe Running (-flat_check -require_check -bdw_gc) "test_alg14.exe". se clean test_alg14.e Removing (-flat_check -require_check -bdw_gc) "test_alg14.exe". Excluded command: "se c -ensure_check -bdw_gc test_alg14.e -o test_alg14.exe". By excluded.lst: "se c -ensure_check". se c -flat_check -invariant_check -bdw_gc test_alg14.e -o test_alg14.exe Running (-flat_check -invariant_check -bdw_gc) "test_alg14.exe". se clean test_alg14.e Removing (-flat_check -invariant_check -bdw_gc) "test_alg14.exe". se c -flat_check -loop_check -bdw_gc test_alg14.e -o test_alg14.exe Running (-flat_check -loop_check -bdw_gc) "test_alg14.exe". se clean test_alg14.e Removing (-flat_check -loop_check -bdw_gc) "test_alg14.exe". se c -flat_check -all_check -bdw_gc test_alg14.e -o test_alg14.exe Running (-flat_check -all_check -bdw_gc) "test_alg14.exe". se clean test_alg14.e Removing (-flat_check -all_check -bdw_gc) "test_alg14.exe". Excluded command: "se c -all_check -debug test_alg14.e -o test_alg14.exe". By excluded.lst: "se c -all_check -debug". se c -require_check test_alg14.e -o test_alg14.exe Running (-require_check) "test_alg14.exe". se clean test_alg14.e Removing (-require_check) "test_alg14.exe". Excluded command: "se c -ensure_check test_alg14.e -o test_alg14.exe". By excluded.lst: "se c -ensure_check". Excluded command: "se c -invariant_check test_alg14.e -o test_alg14.exe". By excluded.lst: "se c -invariant_check". Excluded command: "se c -loop_check test_alg14.e -o test_alg14.exe". By excluded.lst: "se c -loop_check". Excluded command: "se c -all_check test_alg14.e -o test_alg14.exe". By excluded.lst: "se c -all_check". Excluded command: "se c -no_gc -require_check test_alg14.e -o test_alg14.exe". By excluded.lst: "se c -no_gc". Excluded command: "se c -no_gc -ensure_check test_alg14.e -o test_alg14.exe". By excluded.lst: "se c -no_gc". Excluded command: "se c -no_gc -invariant_check test_alg14.e -o test_alg14.exe". By excluded.lst: "se c -no_gc". Excluded command: "se c -no_gc -loop_check test_alg14.e -o test_alg14.exe". By excluded.lst: "se c -no_gc". Excluded command: "se c -no_gc -all_check test_alg14.e -o test_alg14.exe". By excluded.lst: "se c -no_gc". se c -require_check -bdw_gc test_alg14.e -o test_alg14.exe Running (-require_check -bdw_gc) "test_alg14.exe". se clean test_alg14.e Removing (-require_check -bdw_gc) "test_alg14.exe". Excluded command: "se c -ensure_check -bdw_gc test_alg14.e -o test_alg14.exe". By excluded.lst: "se c -ensure_check". Excluded command: "se c -invariant_check -bdw_gc test_alg14.e -o test_alg14.exe". By excluded.lst: "se c -invariant_check". Excluded command: "se c -loop_check -bdw_gc test_alg14.e -o test_alg14.exe". By excluded.lst: "se c -loop_check". Excluded command: "se c -all_check -bdw_gc test_alg14.e -o test_alg14.exe". By excluded.lst: "se c -all_check". Excluded command: "se c -profile -boost test_alg14.e -o test_alg14.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -all_check -debug test_alg14.e -o test_alg14.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -no_check test_alg14.e -o test_alg14.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -require_check test_alg14.e -o test_alg14.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -ensure_check test_alg14.e -o test_alg14.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -invariant_check test_alg14.e -o test_alg14.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -loop_check test_alg14.e -o test_alg14.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -all_check test_alg14.e -o test_alg14.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -no_gc -boost test_alg14.e -o test_alg14.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -no_gc -no_check test_alg14.e -o test_alg14.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -no_gc -require_check test_alg14.e -o test_alg14.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -no_gc -ensure_check test_alg14.e -o test_alg14.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -no_gc -invariant_check test_alg14.e -o test_alg14.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -no_gc -loop_check test_alg14.e -o test_alg14.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -no_gc -all_check test_alg14.e -o test_alg14.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -boost -bdw_gc test_alg14.e -o test_alg14.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -no_check -bdw_gc test_alg14.e -o test_alg14.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -require_check -bdw_gc test_alg14.e -o test_alg14.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -ensure_check -bdw_gc test_alg14.e -o test_alg14.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -invariant_check -bdw_gc test_alg14.e -o test_alg14.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -loop_check -bdw_gc test_alg14.e -o test_alg14.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -all_check -bdw_gc test_alg14.e -o test_alg14.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -flat_check -require_check test_alg14.e -o test_alg14.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -flat_check -ensure_check test_alg14.e -o test_alg14.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -flat_check -invariant_check test_alg14.e -o test_alg14.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -flat_check -loop_check test_alg14.e -o test_alg14.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -flat_check -all_check test_alg14.e -o test_alg14.exe". By excluded.lst: "se c -profile". se c -no_split -boost test_alg14.e -o test_alg14.exe Running (-no_split -boost) "test_alg14.exe". se clean test_alg14.e Removing (-no_split -boost) "test_alg14.exe". se c -no_split -no_gc -boost test_alg14.e -o test_alg14.exe Running (-no_split -no_gc -boost) "test_alg14.exe". se clean test_alg14.e Removing (-no_split -no_gc -boost) "test_alg14.exe". se c -no_split -boost -bdw_gc test_alg14.e -o test_alg14.exe Running (-no_split -boost -bdw_gc) "test_alg14.exe". se clean test_alg14.e Removing (-no_split -boost -bdw_gc) "test_alg14.exe". se c -boost test_alg15.e -o test_alg15.exe Running (-boost) "test_alg15.exe". se clean test_alg15.e Removing (-boost) "test_alg15.exe". se c -flat_check -all_check -debug test_alg15.e -o test_alg15.exe Running (-flat_check -all_check -debug) "test_alg15.exe". se clean test_alg15.e Removing (-flat_check -all_check -debug) "test_alg15.exe". se c -no_check test_alg15.e -o test_alg15.exe Running (-no_check) "test_alg15.exe". se clean test_alg15.e Removing (-no_check) "test_alg15.exe". se c -flat_check -require_check test_alg15.e -o test_alg15.exe Running (-flat_check -require_check) "test_alg15.exe". se clean test_alg15.e Removing (-flat_check -require_check) "test_alg15.exe". se c -flat_check -ensure_check test_alg15.e -o test_alg15.exe Running (-flat_check -ensure_check) "test_alg15.exe". se clean test_alg15.e Removing (-flat_check -ensure_check) "test_alg15.exe". se c -flat_check -invariant_check test_alg15.e -o test_alg15.exe Running (-flat_check -invariant_check) "test_alg15.exe". se clean test_alg15.e Removing (-flat_check -invariant_check) "test_alg15.exe". se c -flat_check -loop_check test_alg15.e -o test_alg15.exe Running (-flat_check -loop_check) "test_alg15.exe". se clean test_alg15.e Removing (-flat_check -loop_check) "test_alg15.exe". se c -flat_check -all_check test_alg15.e -o test_alg15.exe Running (-flat_check -all_check) "test_alg15.exe". se clean test_alg15.e Removing (-flat_check -all_check) "test_alg15.exe". Excluded command: "se c -no_gc -boost test_alg15.e -o test_alg15.exe". By excluded.lst: "se c -no_gc". Excluded command: "se c -no_gc -boost -debug test_alg15.e -o test_alg15.exe". By excluded.lst: "se c -no_gc". Excluded command: "se c -no_gc -no_check test_alg15.e -o test_alg15.exe". By excluded.lst: "se c -no_gc". Excluded command: "se c -no_gc -flat_check -require_check test_alg15.e -o test_alg15.exe". By excluded.lst: "se c -no_gc". Excluded command: "se c -no_gc -ensure_check test_alg15.e -o test_alg15.exe". By excluded.lst: "se c -no_gc". Excluded command: "se c -no_gc -flat_check -invariant_check test_alg15.e -o test_alg15.exe". By excluded.lst: "se c -no_gc". Excluded command: "se c -no_gc -flat_check -loop_check test_alg15.e -o test_alg15.exe". By excluded.lst: "se c -no_gc". Excluded command: "se c -no_gc -flat_check -all_check test_alg15.e -o test_alg15.exe". By excluded.lst: "se c -no_gc". se c -boost -bdw_gc test_alg15.e -o test_alg15.exe Running (-boost -bdw_gc) "test_alg15.exe". se clean test_alg15.e Removing (-boost -bdw_gc) "test_alg15.exe". se c -boost -debug -bdw_gc test_alg15.e -o test_alg15.exe Running (-boost -debug -bdw_gc) "test_alg15.exe". se clean test_alg15.e Removing (-boost -debug -bdw_gc) "test_alg15.exe". se c -no_check -bdw_gc test_alg15.e -o test_alg15.exe Running (-no_check -bdw_gc) "test_alg15.exe". se clean test_alg15.e Removing (-no_check -bdw_gc) "test_alg15.exe". se c -flat_check -require_check -bdw_gc test_alg15.e -o test_alg15.exe Running (-flat_check -require_check -bdw_gc) "test_alg15.exe". se clean test_alg15.e Removing (-flat_check -require_check -bdw_gc) "test_alg15.exe". Excluded command: "se c -ensure_check -bdw_gc test_alg15.e -o test_alg15.exe". By excluded.lst: "se c -ensure_check". se c -flat_check -invariant_check -bdw_gc test_alg15.e -o test_alg15.exe Running (-flat_check -invariant_check -bdw_gc) "test_alg15.exe". se clean test_alg15.e Removing (-flat_check -invariant_check -bdw_gc) "test_alg15.exe". se c -flat_check -loop_check -bdw_gc test_alg15.e -o test_alg15.exe Running (-flat_check -loop_check -bdw_gc) "test_alg15.exe". se clean test_alg15.e Removing (-flat_check -loop_check -bdw_gc) "test_alg15.exe". se c -flat_check -all_check -bdw_gc test_alg15.e -o test_alg15.exe Running (-flat_check -all_check -bdw_gc) "test_alg15.exe". se clean test_alg15.e Removing (-flat_check -all_check -bdw_gc) "test_alg15.exe". Excluded command: "se c -all_check -debug test_alg15.e -o test_alg15.exe". By excluded.lst: "se c -all_check -debug". se c -require_check test_alg15.e -o test_alg15.exe Running (-require_check) "test_alg15.exe". se clean test_alg15.e Removing (-require_check) "test_alg15.exe". Excluded command: "se c -ensure_check test_alg15.e -o test_alg15.exe". By excluded.lst: "se c -ensure_check". Excluded command: "se c -invariant_check test_alg15.e -o test_alg15.exe". By excluded.lst: "se c -invariant_check". Excluded command: "se c -loop_check test_alg15.e -o test_alg15.exe". By excluded.lst: "se c -loop_check". Excluded command: "se c -all_check test_alg15.e -o test_alg15.exe". By excluded.lst: "se c -all_check". Excluded command: "se c -no_gc -require_check test_alg15.e -o test_alg15.exe". By excluded.lst: "se c -no_gc". Excluded command: "se c -no_gc -ensure_check test_alg15.e -o test_alg15.exe". By excluded.lst: "se c -no_gc". Excluded command: "se c -no_gc -invariant_check test_alg15.e -o test_alg15.exe". By excluded.lst: "se c -no_gc". Excluded command: "se c -no_gc -loop_check test_alg15.e -o test_alg15.exe". By excluded.lst: "se c -no_gc". Excluded command: "se c -no_gc -all_check test_alg15.e -o test_alg15.exe". By excluded.lst: "se c -no_gc". se c -require_check -bdw_gc test_alg15.e -o test_alg15.exe Running (-require_check -bdw_gc) "test_alg15.exe". se clean test_alg15.e Removing (-require_check -bdw_gc) "test_alg15.exe". Excluded command: "se c -ensure_check -bdw_gc test_alg15.e -o test_alg15.exe". By excluded.lst: "se c -ensure_check". Excluded command: "se c -invariant_check -bdw_gc test_alg15.e -o test_alg15.exe". By excluded.lst: "se c -invariant_check". Excluded command: "se c -loop_check -bdw_gc test_alg15.e -o test_alg15.exe". By excluded.lst: "se c -loop_check". Excluded command: "se c -all_check -bdw_gc test_alg15.e -o test_alg15.exe". By excluded.lst: "se c -all_check". Excluded command: "se c -profile -boost test_alg15.e -o test_alg15.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -all_check -debug test_alg15.e -o test_alg15.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -no_check test_alg15.e -o test_alg15.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -require_check test_alg15.e -o test_alg15.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -ensure_check test_alg15.e -o test_alg15.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -invariant_check test_alg15.e -o test_alg15.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -loop_check test_alg15.e -o test_alg15.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -all_check test_alg15.e -o test_alg15.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -no_gc -boost test_alg15.e -o test_alg15.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -no_gc -no_check test_alg15.e -o test_alg15.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -no_gc -require_check test_alg15.e -o test_alg15.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -no_gc -ensure_check test_alg15.e -o test_alg15.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -no_gc -invariant_check test_alg15.e -o test_alg15.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -no_gc -loop_check test_alg15.e -o test_alg15.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -no_gc -all_check test_alg15.e -o test_alg15.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -boost -bdw_gc test_alg15.e -o test_alg15.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -no_check -bdw_gc test_alg15.e -o test_alg15.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -require_check -bdw_gc test_alg15.e -o test_alg15.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -ensure_check -bdw_gc test_alg15.e -o test_alg15.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -invariant_check -bdw_gc test_alg15.e -o test_alg15.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -loop_check -bdw_gc test_alg15.e -o test_alg15.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -all_check -bdw_gc test_alg15.e -o test_alg15.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -flat_check -require_check test_alg15.e -o test_alg15.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -flat_check -ensure_check test_alg15.e -o test_alg15.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -flat_check -invariant_check test_alg15.e -o test_alg15.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -flat_check -loop_check test_alg15.e -o test_alg15.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -flat_check -all_check test_alg15.e -o test_alg15.exe". By excluded.lst: "se c -profile". se c -no_split -boost test_alg15.e -o test_alg15.exe Running (-no_split -boost) "test_alg15.exe". se clean test_alg15.e Removing (-no_split -boost) "test_alg15.exe". se c -no_split -no_gc -boost test_alg15.e -o test_alg15.exe Running (-no_split -no_gc -boost) "test_alg15.exe". se clean test_alg15.e Removing (-no_split -no_gc -boost) "test_alg15.exe". se c -no_split -boost -bdw_gc test_alg15.e -o test_alg15.exe Running (-no_split -boost -bdw_gc) "test_alg15.exe". se clean test_alg15.e Removing (-no_split -boost -bdw_gc) "test_alg15.exe". se c -boost test_alg16.e -o test_alg16.exe Running (-boost) "test_alg16.exe". se clean test_alg16.e Removing (-boost) "test_alg16.exe". se c -flat_check -all_check -debug test_alg16.e -o test_alg16.exe Running (-flat_check -all_check -debug) "test_alg16.exe". se clean test_alg16.e Removing (-flat_check -all_check -debug) "test_alg16.exe". se c -no_check test_alg16.e -o test_alg16.exe Running (-no_check) "test_alg16.exe". se clean test_alg16.e Removing (-no_check) "test_alg16.exe". se c -flat_check -require_check test_alg16.e -o test_alg16.exe Running (-flat_check -require_check) "test_alg16.exe". se clean test_alg16.e Removing (-flat_check -require_check) "test_alg16.exe". se c -flat_check -ensure_check test_alg16.e -o test_alg16.exe Running (-flat_check -ensure_check) "test_alg16.exe". se clean test_alg16.e Removing (-flat_check -ensure_check) "test_alg16.exe". se c -flat_check -invariant_check test_alg16.e -o test_alg16.exe Running (-flat_check -invariant_check) "test_alg16.exe". se clean test_alg16.e Removing (-flat_check -invariant_check) "test_alg16.exe". se c -flat_check -loop_check test_alg16.e -o test_alg16.exe Running (-flat_check -loop_check) "test_alg16.exe". se clean test_alg16.e Removing (-flat_check -loop_check) "test_alg16.exe". se c -flat_check -all_check test_alg16.e -o test_alg16.exe Running (-flat_check -all_check) "test_alg16.exe". se clean test_alg16.e Removing (-flat_check -all_check) "test_alg16.exe". Excluded command: "se c -no_gc -boost test_alg16.e -o test_alg16.exe". By excluded.lst: "se c -no_gc". Excluded command: "se c -no_gc -boost -debug test_alg16.e -o test_alg16.exe". By excluded.lst: "se c -no_gc". Excluded command: "se c -no_gc -no_check test_alg16.e -o test_alg16.exe". By excluded.lst: "se c -no_gc". Excluded command: "se c -no_gc -flat_check -require_check test_alg16.e -o test_alg16.exe". By excluded.lst: "se c -no_gc". Excluded command: "se c -no_gc -ensure_check test_alg16.e -o test_alg16.exe". By excluded.lst: "se c -no_gc". Excluded command: "se c -no_gc -flat_check -invariant_check test_alg16.e -o test_alg16.exe". By excluded.lst: "se c -no_gc". Excluded command: "se c -no_gc -flat_check -loop_check test_alg16.e -o test_alg16.exe". By excluded.lst: "se c -no_gc". Excluded command: "se c -no_gc -flat_check -all_check test_alg16.e -o test_alg16.exe". By excluded.lst: "se c -no_gc". se c -boost -bdw_gc test_alg16.e -o test_alg16.exe Running (-boost -bdw_gc) "test_alg16.exe". se clean test_alg16.e Removing (-boost -bdw_gc) "test_alg16.exe". se c -boost -debug -bdw_gc test_alg16.e -o test_alg16.exe Running (-boost -debug -bdw_gc) "test_alg16.exe". se clean test_alg16.e Removing (-boost -debug -bdw_gc) "test_alg16.exe". se c -no_check -bdw_gc test_alg16.e -o test_alg16.exe Running (-no_check -bdw_gc) "test_alg16.exe". se clean test_alg16.e Removing (-no_check -bdw_gc) "test_alg16.exe". se c -flat_check -require_check -bdw_gc test_alg16.e -o test_alg16.exe Running (-flat_check -require_check -bdw_gc) "test_alg16.exe". se clean test_alg16.e Removing (-flat_check -require_check -bdw_gc) "test_alg16.exe". Excluded command: "se c -ensure_check -bdw_gc test_alg16.e -o test_alg16.exe". By excluded.lst: "se c -ensure_check". se c -flat_check -invariant_check -bdw_gc test_alg16.e -o test_alg16.exe Running (-flat_check -invariant_check -bdw_gc) "test_alg16.exe". se clean test_alg16.e Removing (-flat_check -invariant_check -bdw_gc) "test_alg16.exe". se c -flat_check -loop_check -bdw_gc test_alg16.e -o test_alg16.exe Running (-flat_check -loop_check -bdw_gc) "test_alg16.exe". se clean test_alg16.e Removing (-flat_check -loop_check -bdw_gc) "test_alg16.exe". se c -flat_check -all_check -bdw_gc test_alg16.e -o test_alg16.exe Running (-flat_check -all_check -bdw_gc) "test_alg16.exe". se clean test_alg16.e Removing (-flat_check -all_check -bdw_gc) "test_alg16.exe". Excluded command: "se c -all_check -debug test_alg16.e -o test_alg16.exe". By excluded.lst: "se c -all_check -debug". se c -require_check test_alg16.e -o test_alg16.exe Running (-require_check) "test_alg16.exe". se clean test_alg16.e Removing (-require_check) "test_alg16.exe". Excluded command: "se c -ensure_check test_alg16.e -o test_alg16.exe". By excluded.lst: "se c -ensure_check". Excluded command: "se c -invariant_check test_alg16.e -o test_alg16.exe". By excluded.lst: "se c -invariant_check". Excluded command: "se c -loop_check test_alg16.e -o test_alg16.exe". By excluded.lst: "se c -loop_check". Excluded command: "se c -all_check test_alg16.e -o test_alg16.exe". By excluded.lst: "se c -all_check". Excluded command: "se c -no_gc -require_check test_alg16.e -o test_alg16.exe". By excluded.lst: "se c -no_gc". Excluded command: "se c -no_gc -ensure_check test_alg16.e -o test_alg16.exe". By excluded.lst: "se c -no_gc". Excluded command: "se c -no_gc -invariant_check test_alg16.e -o test_alg16.exe". By excluded.lst: "se c -no_gc". Excluded command: "se c -no_gc -loop_check test_alg16.e -o test_alg16.exe". By excluded.lst: "se c -no_gc". Excluded command: "se c -no_gc -all_check test_alg16.e -o test_alg16.exe". By excluded.lst: "se c -no_gc". se c -require_check -bdw_gc test_alg16.e -o test_alg16.exe Running (-require_check -bdw_gc) "test_alg16.exe". se clean test_alg16.e Removing (-require_check -bdw_gc) "test_alg16.exe". Excluded command: "se c -ensure_check -bdw_gc test_alg16.e -o test_alg16.exe". By excluded.lst: "se c -ensure_check". Excluded command: "se c -invariant_check -bdw_gc test_alg16.e -o test_alg16.exe". By excluded.lst: "se c -invariant_check". Excluded command: "se c -loop_check -bdw_gc test_alg16.e -o test_alg16.exe". By excluded.lst: "se c -loop_check". Excluded command: "se c -all_check -bdw_gc test_alg16.e -o test_alg16.exe". By excluded.lst: "se c -all_check". Excluded command: "se c -profile -boost test_alg16.e -o test_alg16.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -all_check -debug test_alg16.e -o test_alg16.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -no_check test_alg16.e -o test_alg16.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -require_check test_alg16.e -o test_alg16.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -ensure_check test_alg16.e -o test_alg16.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -invariant_check test_alg16.e -o test_alg16.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -loop_check test_alg16.e -o test_alg16.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -all_check test_alg16.e -o test_alg16.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -no_gc -boost test_alg16.e -o test_alg16.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -no_gc -no_check test_alg16.e -o test_alg16.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -no_gc -require_check test_alg16.e -o test_alg16.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -no_gc -ensure_check test_alg16.e -o test_alg16.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -no_gc -invariant_check test_alg16.e -o test_alg16.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -no_gc -loop_check test_alg16.e -o test_alg16.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -no_gc -all_check test_alg16.e -o test_alg16.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -boost -bdw_gc test_alg16.e -o test_alg16.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -no_check -bdw_gc test_alg16.e -o test_alg16.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -require_check -bdw_gc test_alg16.e -o test_alg16.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -ensure_check -bdw_gc test_alg16.e -o test_alg16.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -invariant_check -bdw_gc test_alg16.e -o test_alg16.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -loop_check -bdw_gc test_alg16.e -o test_alg16.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -all_check -bdw_gc test_alg16.e -o test_alg16.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -flat_check -require_check test_alg16.e -o test_alg16.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -flat_check -ensure_check test_alg16.e -o test_alg16.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -flat_check -invariant_check test_alg16.e -o test_alg16.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -flat_check -loop_check test_alg16.e -o test_alg16.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -flat_check -all_check test_alg16.e -o test_alg16.exe". By excluded.lst: "se c -profile". se c -no_split -boost test_alg16.e -o test_alg16.exe Running (-no_split -boost) "test_alg16.exe". se clean test_alg16.e Removing (-no_split -boost) "test_alg16.exe". se c -no_split -no_gc -boost test_alg16.e -o test_alg16.exe Running (-no_split -no_gc -boost) "test_alg16.exe". se clean test_alg16.e Removing (-no_split -no_gc -boost) "test_alg16.exe". se c -no_split -boost -bdw_gc test_alg16.e -o test_alg16.exe Running (-no_split -boost -bdw_gc) "test_alg16.exe". se clean test_alg16.e Removing (-no_split -boost -bdw_gc) "test_alg16.exe". se c -boost test_alg17.e -o test_alg17.exe Running (-boost) "test_alg17.exe". se clean test_alg17.e Removing (-boost) "test_alg17.exe". se c -flat_check -all_check -debug test_alg17.e -o test_alg17.exe Running (-flat_check -all_check -debug) "test_alg17.exe". se clean test_alg17.e Removing (-flat_check -all_check -debug) "test_alg17.exe". se c -no_check test_alg17.e -o test_alg17.exe Running (-no_check) "test_alg17.exe". se clean test_alg17.e Removing (-no_check) "test_alg17.exe". se c -flat_check -require_check test_alg17.e -o test_alg17.exe Running (-flat_check -require_check) "test_alg17.exe". se clean test_alg17.e Removing (-flat_check -require_check) "test_alg17.exe". se c -flat_check -ensure_check test_alg17.e -o test_alg17.exe Running (-flat_check -ensure_check) "test_alg17.exe". se clean test_alg17.e Removing (-flat_check -ensure_check) "test_alg17.exe". se c -flat_check -invariant_check test_alg17.e -o test_alg17.exe Running (-flat_check -invariant_check) "test_alg17.exe". se clean test_alg17.e Removing (-flat_check -invariant_check) "test_alg17.exe". se c -flat_check -loop_check test_alg17.e -o test_alg17.exe Running (-flat_check -loop_check) "test_alg17.exe". se clean test_alg17.e Removing (-flat_check -loop_check) "test_alg17.exe". se c -flat_check -all_check test_alg17.e -o test_alg17.exe Running (-flat_check -all_check) "test_alg17.exe". se clean test_alg17.e Removing (-flat_check -all_check) "test_alg17.exe". Excluded command: "se c -no_gc -boost test_alg17.e -o test_alg17.exe". By excluded.lst: "se c -no_gc". Excluded command: "se c -no_gc -boost -debug test_alg17.e -o test_alg17.exe". By excluded.lst: "se c -no_gc". Excluded command: "se c -no_gc -no_check test_alg17.e -o test_alg17.exe". By excluded.lst: "se c -no_gc". Excluded command: "se c -no_gc -flat_check -require_check test_alg17.e -o test_alg17.exe". By excluded.lst: "se c -no_gc". Excluded command: "se c -no_gc -ensure_check test_alg17.e -o test_alg17.exe". By excluded.lst: "se c -no_gc". Excluded command: "se c -no_gc -flat_check -invariant_check test_alg17.e -o test_alg17.exe". By excluded.lst: "se c -no_gc". Excluded command: "se c -no_gc -flat_check -loop_check test_alg17.e -o test_alg17.exe". By excluded.lst: "se c -no_gc". Excluded command: "se c -no_gc -flat_check -all_check test_alg17.e -o test_alg17.exe". By excluded.lst: "se c -no_gc". se c -boost -bdw_gc test_alg17.e -o test_alg17.exe Running (-boost -bdw_gc) "test_alg17.exe". se clean test_alg17.e Removing (-boost -bdw_gc) "test_alg17.exe". se c -boost -debug -bdw_gc test_alg17.e -o test_alg17.exe Running (-boost -debug -bdw_gc) "test_alg17.exe". se clean test_alg17.e Removing (-boost -debug -bdw_gc) "test_alg17.exe". se c -no_check -bdw_gc test_alg17.e -o test_alg17.exe Running (-no_check -bdw_gc) "test_alg17.exe". se clean test_alg17.e Removing (-no_check -bdw_gc) "test_alg17.exe". se c -flat_check -require_check -bdw_gc test_alg17.e -o test_alg17.exe Running (-flat_check -require_check -bdw_gc) "test_alg17.exe". se clean test_alg17.e Removing (-flat_check -require_check -bdw_gc) "test_alg17.exe". Excluded command: "se c -ensure_check -bdw_gc test_alg17.e -o test_alg17.exe". By excluded.lst: "se c -ensure_check". se c -flat_check -invariant_check -bdw_gc test_alg17.e -o test_alg17.exe Running (-flat_check -invariant_check -bdw_gc) "test_alg17.exe". se clean test_alg17.e Removing (-flat_check -invariant_check -bdw_gc) "test_alg17.exe". se c -flat_check -loop_check -bdw_gc test_alg17.e -o test_alg17.exe Running (-flat_check -loop_check -bdw_gc) "test_alg17.exe". se clean test_alg17.e Removing (-flat_check -loop_check -bdw_gc) "test_alg17.exe". se c -flat_check -all_check -bdw_gc test_alg17.e -o test_alg17.exe Running (-flat_check -all_check -bdw_gc) "test_alg17.exe". se clean test_alg17.e Removing (-flat_check -all_check -bdw_gc) "test_alg17.exe". Excluded command: "se c -all_check -debug test_alg17.e -o test_alg17.exe". By excluded.lst: "se c -all_check -debug". se c -require_check test_alg17.e -o test_alg17.exe Running (-require_check) "test_alg17.exe". se clean test_alg17.e Removing (-require_check) "test_alg17.exe". Excluded command: "se c -ensure_check test_alg17.e -o test_alg17.exe". By excluded.lst: "se c -ensure_check". Excluded command: "se c -invariant_check test_alg17.e -o test_alg17.exe". By excluded.lst: "se c -invariant_check". Excluded command: "se c -loop_check test_alg17.e -o test_alg17.exe". By excluded.lst: "se c -loop_check". Excluded command: "se c -all_check test_alg17.e -o test_alg17.exe". By excluded.lst: "se c -all_check". Excluded command: "se c -no_gc -require_check test_alg17.e -o test_alg17.exe". By excluded.lst: "se c -no_gc". Excluded command: "se c -no_gc -ensure_check test_alg17.e -o test_alg17.exe". By excluded.lst: "se c -no_gc". Excluded command: "se c -no_gc -invariant_check test_alg17.e -o test_alg17.exe". By excluded.lst: "se c -no_gc". Excluded command: "se c -no_gc -loop_check test_alg17.e -o test_alg17.exe". By excluded.lst: "se c -no_gc". Excluded command: "se c -no_gc -all_check test_alg17.e -o test_alg17.exe". By excluded.lst: "se c -no_gc". se c -require_check -bdw_gc test_alg17.e -o test_alg17.exe Running (-require_check -bdw_gc) "test_alg17.exe". se clean test_alg17.e Removing (-require_check -bdw_gc) "test_alg17.exe". Excluded command: "se c -ensure_check -bdw_gc test_alg17.e -o test_alg17.exe". By excluded.lst: "se c -ensure_check". Excluded command: "se c -invariant_check -bdw_gc test_alg17.e -o test_alg17.exe". By excluded.lst: "se c -invariant_check". Excluded command: "se c -loop_check -bdw_gc test_alg17.e -o test_alg17.exe". By excluded.lst: "se c -loop_check". Excluded command: "se c -all_check -bdw_gc test_alg17.e -o test_alg17.exe". By excluded.lst: "se c -all_check". Excluded command: "se c -profile -boost test_alg17.e -o test_alg17.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -all_check -debug test_alg17.e -o test_alg17.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -no_check test_alg17.e -o test_alg17.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -require_check test_alg17.e -o test_alg17.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -ensure_check test_alg17.e -o test_alg17.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -invariant_check test_alg17.e -o test_alg17.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -loop_check test_alg17.e -o test_alg17.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -all_check test_alg17.e -o test_alg17.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -no_gc -boost test_alg17.e -o test_alg17.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -no_gc -no_check test_alg17.e -o test_alg17.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -no_gc -require_check test_alg17.e -o test_alg17.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -no_gc -ensure_check test_alg17.e -o test_alg17.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -no_gc -invariant_check test_alg17.e -o test_alg17.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -no_gc -loop_check test_alg17.e -o test_alg17.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -no_gc -all_check test_alg17.e -o test_alg17.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -boost -bdw_gc test_alg17.e -o test_alg17.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -no_check -bdw_gc test_alg17.e -o test_alg17.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -require_check -bdw_gc test_alg17.e -o test_alg17.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -ensure_check -bdw_gc test_alg17.e -o test_alg17.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -invariant_check -bdw_gc test_alg17.e -o test_alg17.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -loop_check -bdw_gc test_alg17.e -o test_alg17.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -all_check -bdw_gc test_alg17.e -o test_alg17.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -flat_check -require_check test_alg17.e -o test_alg17.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -flat_check -ensure_check test_alg17.e -o test_alg17.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -flat_check -invariant_check test_alg17.e -o test_alg17.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -flat_check -loop_check test_alg17.e -o test_alg17.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -flat_check -all_check test_alg17.e -o test_alg17.exe". By excluded.lst: "se c -profile". se c -no_split -boost test_alg17.e -o test_alg17.exe Running (-no_split -boost) "test_alg17.exe". se clean test_alg17.e Removing (-no_split -boost) "test_alg17.exe". se c -no_split -no_gc -boost test_alg17.e -o test_alg17.exe Running (-no_split -no_gc -boost) "test_alg17.exe". se clean test_alg17.e Removing (-no_split -no_gc -boost) "test_alg17.exe". se c -no_split -boost -bdw_gc test_alg17.e -o test_alg17.exe Running (-no_split -boost -bdw_gc) "test_alg17.exe". se clean test_alg17.e Removing (-no_split -boost -bdw_gc) "test_alg17.exe". se c -boost test_alg18.e -o test_alg18.exe Running (-boost) "test_alg18.exe". se clean test_alg18.e Removing (-boost) "test_alg18.exe". se c -flat_check -all_check -debug test_alg18.e -o test_alg18.exe Running (-flat_check -all_check -debug) "test_alg18.exe". se clean test_alg18.e Removing (-flat_check -all_check -debug) "test_alg18.exe". se c -no_check test_alg18.e -o test_alg18.exe Running (-no_check) "test_alg18.exe". se clean test_alg18.e Removing (-no_check) "test_alg18.exe". se c -flat_check -require_check test_alg18.e -o test_alg18.exe Running (-flat_check -require_check) "test_alg18.exe". se clean test_alg18.e Removing (-flat_check -require_check) "test_alg18.exe". se c -flat_check -ensure_check test_alg18.e -o test_alg18.exe Running (-flat_check -ensure_check) "test_alg18.exe". se clean test_alg18.e Removing (-flat_check -ensure_check) "test_alg18.exe". se c -flat_check -invariant_check test_alg18.e -o test_alg18.exe Running (-flat_check -invariant_check) "test_alg18.exe". se clean test_alg18.e Removing (-flat_check -invariant_check) "test_alg18.exe". se c -flat_check -loop_check test_alg18.e -o test_alg18.exe Running (-flat_check -loop_check) "test_alg18.exe". se clean test_alg18.e Removing (-flat_check -loop_check) "test_alg18.exe". se c -flat_check -all_check test_alg18.e -o test_alg18.exe Running (-flat_check -all_check) "test_alg18.exe". se clean test_alg18.e Removing (-flat_check -all_check) "test_alg18.exe". Excluded command: "se c -no_gc -boost test_alg18.e -o test_alg18.exe". By excluded.lst: "se c -no_gc". Excluded command: "se c -no_gc -boost -debug test_alg18.e -o test_alg18.exe". By excluded.lst: "se c -no_gc". Excluded command: "se c -no_gc -no_check test_alg18.e -o test_alg18.exe". By excluded.lst: "se c -no_gc". Excluded command: "se c -no_gc -flat_check -require_check test_alg18.e -o test_alg18.exe". By excluded.lst: "se c -no_gc". Excluded command: "se c -no_gc -ensure_check test_alg18.e -o test_alg18.exe". By excluded.lst: "se c -no_gc". Excluded command: "se c -no_gc -flat_check -invariant_check test_alg18.e -o test_alg18.exe". By excluded.lst: "se c -no_gc". Excluded command: "se c -no_gc -flat_check -loop_check test_alg18.e -o test_alg18.exe". By excluded.lst: "se c -no_gc". Excluded command: "se c -no_gc -flat_check -all_check test_alg18.e -o test_alg18.exe". By excluded.lst: "se c -no_gc". se c -boost -bdw_gc test_alg18.e -o test_alg18.exe Running (-boost -bdw_gc) "test_alg18.exe". se clean test_alg18.e Removing (-boost -bdw_gc) "test_alg18.exe". se c -boost -debug -bdw_gc test_alg18.e -o test_alg18.exe Running (-boost -debug -bdw_gc) "test_alg18.exe". se clean test_alg18.e Removing (-boost -debug -bdw_gc) "test_alg18.exe". se c -no_check -bdw_gc test_alg18.e -o test_alg18.exe Running (-no_check -bdw_gc) "test_alg18.exe". se clean test_alg18.e Removing (-no_check -bdw_gc) "test_alg18.exe". se c -flat_check -require_check -bdw_gc test_alg18.e -o test_alg18.exe Running (-flat_check -require_check -bdw_gc) "test_alg18.exe". se clean test_alg18.e Removing (-flat_check -require_check -bdw_gc) "test_alg18.exe". Excluded command: "se c -ensure_check -bdw_gc test_alg18.e -o test_alg18.exe". By excluded.lst: "se c -ensure_check". se c -flat_check -invariant_check -bdw_gc test_alg18.e -o test_alg18.exe Running (-flat_check -invariant_check -bdw_gc) "test_alg18.exe". se clean test_alg18.e Removing (-flat_check -invariant_check -bdw_gc) "test_alg18.exe". se c -flat_check -loop_check -bdw_gc test_alg18.e -o test_alg18.exe Running (-flat_check -loop_check -bdw_gc) "test_alg18.exe". se clean test_alg18.e Removing (-flat_check -loop_check -bdw_gc) "test_alg18.exe". se c -flat_check -all_check -bdw_gc test_alg18.e -o test_alg18.exe Running (-flat_check -all_check -bdw_gc) "test_alg18.exe". se clean test_alg18.e Removing (-flat_check -all_check -bdw_gc) "test_alg18.exe". Excluded command: "se c -all_check -debug test_alg18.e -o test_alg18.exe". By excluded.lst: "se c -all_check -debug". se c -require_check test_alg18.e -o test_alg18.exe Running (-require_check) "test_alg18.exe". se clean test_alg18.e Removing (-require_check) "test_alg18.exe". Excluded command: "se c -ensure_check test_alg18.e -o test_alg18.exe". By excluded.lst: "se c -ensure_check". Excluded command: "se c -invariant_check test_alg18.e -o test_alg18.exe". By excluded.lst: "se c -invariant_check". Excluded command: "se c -loop_check test_alg18.e -o test_alg18.exe". By excluded.lst: "se c -loop_check". Excluded command: "se c -all_check test_alg18.e -o test_alg18.exe". By excluded.lst: "se c -all_check". Excluded command: "se c -no_gc -require_check test_alg18.e -o test_alg18.exe". By excluded.lst: "se c -no_gc". Excluded command: "se c -no_gc -ensure_check test_alg18.e -o test_alg18.exe". By excluded.lst: "se c -no_gc". Excluded command: "se c -no_gc -invariant_check test_alg18.e -o test_alg18.exe". By excluded.lst: "se c -no_gc". Excluded command: "se c -no_gc -loop_check test_alg18.e -o test_alg18.exe". By excluded.lst: "se c -no_gc". Excluded command: "se c -no_gc -all_check test_alg18.e -o test_alg18.exe". By excluded.lst: "se c -no_gc". se c -require_check -bdw_gc test_alg18.e -o test_alg18.exe Running (-require_check -bdw_gc) "test_alg18.exe". se clean test_alg18.e Removing (-require_check -bdw_gc) "test_alg18.exe". Excluded command: "se c -ensure_check -bdw_gc test_alg18.e -o test_alg18.exe". By excluded.lst: "se c -ensure_check". Excluded command: "se c -invariant_check -bdw_gc test_alg18.e -o test_alg18.exe". By excluded.lst: "se c -invariant_check". Excluded command: "se c -loop_check -bdw_gc test_alg18.e -o test_alg18.exe". By excluded.lst: "se c -loop_check". Excluded command: "se c -all_check -bdw_gc test_alg18.e -o test_alg18.exe". By excluded.lst: "se c -all_check". Excluded command: "se c -profile -boost test_alg18.e -o test_alg18.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -all_check -debug test_alg18.e -o test_alg18.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -no_check test_alg18.e -o test_alg18.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -require_check test_alg18.e -o test_alg18.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -ensure_check test_alg18.e -o test_alg18.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -invariant_check test_alg18.e -o test_alg18.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -loop_check test_alg18.e -o test_alg18.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -all_check test_alg18.e -o test_alg18.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -no_gc -boost test_alg18.e -o test_alg18.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -no_gc -no_check test_alg18.e -o test_alg18.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -no_gc -require_check test_alg18.e -o test_alg18.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -no_gc -ensure_check test_alg18.e -o test_alg18.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -no_gc -invariant_check test_alg18.e -o test_alg18.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -no_gc -loop_check test_alg18.e -o test_alg18.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -no_gc -all_check test_alg18.e -o test_alg18.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -boost -bdw_gc test_alg18.e -o test_alg18.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -no_check -bdw_gc test_alg18.e -o test_alg18.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -require_check -bdw_gc test_alg18.e -o test_alg18.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -ensure_check -bdw_gc test_alg18.e -o test_alg18.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -invariant_check -bdw_gc test_alg18.e -o test_alg18.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -loop_check -bdw_gc test_alg18.e -o test_alg18.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -all_check -bdw_gc test_alg18.e -o test_alg18.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -flat_check -require_check test_alg18.e -o test_alg18.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -flat_check -ensure_check test_alg18.e -o test_alg18.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -flat_check -invariant_check test_alg18.e -o test_alg18.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -flat_check -loop_check test_alg18.e -o test_alg18.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -flat_check -all_check test_alg18.e -o test_alg18.exe". By excluded.lst: "se c -profile". se c -no_split -boost test_alg18.e -o test_alg18.exe Running (-no_split -boost) "test_alg18.exe". se clean test_alg18.e Removing (-no_split -boost) "test_alg18.exe". se c -no_split -no_gc -boost test_alg18.e -o test_alg18.exe Running (-no_split -no_gc -boost) "test_alg18.exe". se clean test_alg18.e Removing (-no_split -no_gc -boost) "test_alg18.exe". se c -no_split -boost -bdw_gc test_alg18.e -o test_alg18.exe Running (-no_split -boost -bdw_gc) "test_alg18.exe". se clean test_alg18.e Removing (-no_split -boost -bdw_gc) "test_alg18.exe". se c -boost test_alg19.e -o test_alg19.exe Running (-boost) "test_alg19.exe". se clean test_alg19.e Removing (-boost) "test_alg19.exe". se c -flat_check -all_check -debug test_alg19.e -o test_alg19.exe Running (-flat_check -all_check -debug) "test_alg19.exe". se clean test_alg19.e Removing (-flat_check -all_check -debug) "test_alg19.exe". se c -no_check test_alg19.e -o test_alg19.exe Running (-no_check) "test_alg19.exe". se clean test_alg19.e Removing (-no_check) "test_alg19.exe". se c -flat_check -require_check test_alg19.e -o test_alg19.exe Running (-flat_check -require_check) "test_alg19.exe". se clean test_alg19.e Removing (-flat_check -require_check) "test_alg19.exe". se c -flat_check -ensure_check test_alg19.e -o test_alg19.exe Running (-flat_check -ensure_check) "test_alg19.exe". se clean test_alg19.e Removing (-flat_check -ensure_check) "test_alg19.exe". se c -flat_check -invariant_check test_alg19.e -o test_alg19.exe Running (-flat_check -invariant_check) "test_alg19.exe". se clean test_alg19.e Removing (-flat_check -invariant_check) "test_alg19.exe". se c -flat_check -loop_check test_alg19.e -o test_alg19.exe Running (-flat_check -loop_check) "test_alg19.exe". se clean test_alg19.e Removing (-flat_check -loop_check) "test_alg19.exe". se c -flat_check -all_check test_alg19.e -o test_alg19.exe Running (-flat_check -all_check) "test_alg19.exe". se clean test_alg19.e Removing (-flat_check -all_check) "test_alg19.exe". Excluded command: "se c -no_gc -boost test_alg19.e -o test_alg19.exe". By excluded.lst: "se c -no_gc". Excluded command: "se c -no_gc -boost -debug test_alg19.e -o test_alg19.exe". By excluded.lst: "se c -no_gc". Excluded command: "se c -no_gc -no_check test_alg19.e -o test_alg19.exe". By excluded.lst: "se c -no_gc". Excluded command: "se c -no_gc -flat_check -require_check test_alg19.e -o test_alg19.exe". By excluded.lst: "se c -no_gc". Excluded command: "se c -no_gc -ensure_check test_alg19.e -o test_alg19.exe". By excluded.lst: "se c -no_gc". Excluded command: "se c -no_gc -flat_check -invariant_check test_alg19.e -o test_alg19.exe". By excluded.lst: "se c -no_gc". Excluded command: "se c -no_gc -flat_check -loop_check test_alg19.e -o test_alg19.exe". By excluded.lst: "se c -no_gc". Excluded command: "se c -no_gc -flat_check -all_check test_alg19.e -o test_alg19.exe". By excluded.lst: "se c -no_gc". se c -boost -bdw_gc test_alg19.e -o test_alg19.exe Running (-boost -bdw_gc) "test_alg19.exe". se clean test_alg19.e Removing (-boost -bdw_gc) "test_alg19.exe". se c -boost -debug -bdw_gc test_alg19.e -o test_alg19.exe Running (-boost -debug -bdw_gc) "test_alg19.exe". se clean test_alg19.e Removing (-boost -debug -bdw_gc) "test_alg19.exe". se c -no_check -bdw_gc test_alg19.e -o test_alg19.exe Running (-no_check -bdw_gc) "test_alg19.exe". se clean test_alg19.e Removing (-no_check -bdw_gc) "test_alg19.exe". se c -flat_check -require_check -bdw_gc test_alg19.e -o test_alg19.exe Running (-flat_check -require_check -bdw_gc) "test_alg19.exe". se clean test_alg19.e Removing (-flat_check -require_check -bdw_gc) "test_alg19.exe". Excluded command: "se c -ensure_check -bdw_gc test_alg19.e -o test_alg19.exe". By excluded.lst: "se c -ensure_check". se c -flat_check -invariant_check -bdw_gc test_alg19.e -o test_alg19.exe Running (-flat_check -invariant_check -bdw_gc) "test_alg19.exe". se clean test_alg19.e Removing (-flat_check -invariant_check -bdw_gc) "test_alg19.exe". se c -flat_check -loop_check -bdw_gc test_alg19.e -o test_alg19.exe Running (-flat_check -loop_check -bdw_gc) "test_alg19.exe". se clean test_alg19.e Removing (-flat_check -loop_check -bdw_gc) "test_alg19.exe". se c -flat_check -all_check -bdw_gc test_alg19.e -o test_alg19.exe Running (-flat_check -all_check -bdw_gc) "test_alg19.exe". se clean test_alg19.e Removing (-flat_check -all_check -bdw_gc) "test_alg19.exe". Excluded command: "se c -all_check -debug test_alg19.e -o test_alg19.exe". By excluded.lst: "se c -all_check -debug". se c -require_check test_alg19.e -o test_alg19.exe Running (-require_check) "test_alg19.exe". se clean test_alg19.e Removing (-require_check) "test_alg19.exe". Excluded command: "se c -ensure_check test_alg19.e -o test_alg19.exe". By excluded.lst: "se c -ensure_check". Excluded command: "se c -invariant_check test_alg19.e -o test_alg19.exe". By excluded.lst: "se c -invariant_check". Excluded command: "se c -loop_check test_alg19.e -o test_alg19.exe". By excluded.lst: "se c -loop_check". Excluded command: "se c -all_check test_alg19.e -o test_alg19.exe". By excluded.lst: "se c -all_check". Excluded command: "se c -no_gc -require_check test_alg19.e -o test_alg19.exe". By excluded.lst: "se c -no_gc". Excluded command: "se c -no_gc -ensure_check test_alg19.e -o test_alg19.exe". By excluded.lst: "se c -no_gc". Excluded command: "se c -no_gc -invariant_check test_alg19.e -o test_alg19.exe". By excluded.lst: "se c -no_gc". Excluded command: "se c -no_gc -loop_check test_alg19.e -o test_alg19.exe". By excluded.lst: "se c -no_gc". Excluded command: "se c -no_gc -all_check test_alg19.e -o test_alg19.exe". By excluded.lst: "se c -no_gc". se c -require_check -bdw_gc test_alg19.e -o test_alg19.exe Running (-require_check -bdw_gc) "test_alg19.exe". se clean test_alg19.e Removing (-require_check -bdw_gc) "test_alg19.exe". Excluded command: "se c -ensure_check -bdw_gc test_alg19.e -o test_alg19.exe". By excluded.lst: "se c -ensure_check". Excluded command: "se c -invariant_check -bdw_gc test_alg19.e -o test_alg19.exe". By excluded.lst: "se c -invariant_check". Excluded command: "se c -loop_check -bdw_gc test_alg19.e -o test_alg19.exe". By excluded.lst: "se c -loop_check". Excluded command: "se c -all_check -bdw_gc test_alg19.e -o test_alg19.exe". By excluded.lst: "se c -all_check". Excluded command: "se c -profile -boost test_alg19.e -o test_alg19.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -all_check -debug test_alg19.e -o test_alg19.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -no_check test_alg19.e -o test_alg19.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -require_check test_alg19.e -o test_alg19.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -ensure_check test_alg19.e -o test_alg19.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -invariant_check test_alg19.e -o test_alg19.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -loop_check test_alg19.e -o test_alg19.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -all_check test_alg19.e -o test_alg19.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -no_gc -boost test_alg19.e -o test_alg19.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -no_gc -no_check test_alg19.e -o test_alg19.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -no_gc -require_check test_alg19.e -o test_alg19.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -no_gc -ensure_check test_alg19.e -o test_alg19.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -no_gc -invariant_check test_alg19.e -o test_alg19.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -no_gc -loop_check test_alg19.e -o test_alg19.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -no_gc -all_check test_alg19.e -o test_alg19.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -boost -bdw_gc test_alg19.e -o test_alg19.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -no_check -bdw_gc test_alg19.e -o test_alg19.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -require_check -bdw_gc test_alg19.e -o test_alg19.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -ensure_check -bdw_gc test_alg19.e -o test_alg19.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -invariant_check -bdw_gc test_alg19.e -o test_alg19.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -loop_check -bdw_gc test_alg19.e -o test_alg19.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -all_check -bdw_gc test_alg19.e -o test_alg19.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -flat_check -require_check test_alg19.e -o test_alg19.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -flat_check -ensure_check test_alg19.e -o test_alg19.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -flat_check -invariant_check test_alg19.e -o test_alg19.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -flat_check -loop_check test_alg19.e -o test_alg19.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -flat_check -all_check test_alg19.e -o test_alg19.exe". By excluded.lst: "se c -profile". se c -no_split -boost test_alg19.e -o test_alg19.exe Running (-no_split -boost) "test_alg19.exe". se clean test_alg19.e Removing (-no_split -boost) "test_alg19.exe". se c -no_split -no_gc -boost test_alg19.e -o test_alg19.exe Running (-no_split -no_gc -boost) "test_alg19.exe". se clean test_alg19.e Removing (-no_split -no_gc -boost) "test_alg19.exe". se c -no_split -boost -bdw_gc test_alg19.e -o test_alg19.exe Running (-no_split -boost -bdw_gc) "test_alg19.exe". se clean test_alg19.e Removing (-no_split -boost -bdw_gc) "test_alg19.exe". se c -boost test_alg20.e -o test_alg20.exe Running (-boost) "test_alg20.exe". se clean test_alg20.e Removing (-boost) "test_alg20.exe". se c -flat_check -all_check -debug test_alg20.e -o test_alg20.exe Running (-flat_check -all_check -debug) "test_alg20.exe". se clean test_alg20.e Removing (-flat_check -all_check -debug) "test_alg20.exe". se c -no_check test_alg20.e -o test_alg20.exe Running (-no_check) "test_alg20.exe". se clean test_alg20.e Removing (-no_check) "test_alg20.exe". se c -flat_check -require_check test_alg20.e -o test_alg20.exe Running (-flat_check -require_check) "test_alg20.exe". se clean test_alg20.e Removing (-flat_check -require_check) "test_alg20.exe". se c -flat_check -ensure_check test_alg20.e -o test_alg20.exe Running (-flat_check -ensure_check) "test_alg20.exe". se clean test_alg20.e Removing (-flat_check -ensure_check) "test_alg20.exe". se c -flat_check -invariant_check test_alg20.e -o test_alg20.exe Running (-flat_check -invariant_check) "test_alg20.exe". se clean test_alg20.e Removing (-flat_check -invariant_check) "test_alg20.exe". se c -flat_check -loop_check test_alg20.e -o test_alg20.exe Running (-flat_check -loop_check) "test_alg20.exe". se clean test_alg20.e Removing (-flat_check -loop_check) "test_alg20.exe". se c -flat_check -all_check test_alg20.e -o test_alg20.exe Running (-flat_check -all_check) "test_alg20.exe". se clean test_alg20.e Removing (-flat_check -all_check) "test_alg20.exe". Excluded command: "se c -no_gc -boost test_alg20.e -o test_alg20.exe". By excluded.lst: "se c -no_gc". Excluded command: "se c -no_gc -boost -debug test_alg20.e -o test_alg20.exe". By excluded.lst: "se c -no_gc". Excluded command: "se c -no_gc -no_check test_alg20.e -o test_alg20.exe". By excluded.lst: "se c -no_gc". Excluded command: "se c -no_gc -flat_check -require_check test_alg20.e -o test_alg20.exe". By excluded.lst: "se c -no_gc". Excluded command: "se c -no_gc -ensure_check test_alg20.e -o test_alg20.exe". By excluded.lst: "se c -no_gc". Excluded command: "se c -no_gc -flat_check -invariant_check test_alg20.e -o test_alg20.exe". By excluded.lst: "se c -no_gc". Excluded command: "se c -no_gc -flat_check -loop_check test_alg20.e -o test_alg20.exe". By excluded.lst: "se c -no_gc". Excluded command: "se c -no_gc -flat_check -all_check test_alg20.e -o test_alg20.exe". By excluded.lst: "se c -no_gc". se c -boost -bdw_gc test_alg20.e -o test_alg20.exe Running (-boost -bdw_gc) "test_alg20.exe". se clean test_alg20.e Removing (-boost -bdw_gc) "test_alg20.exe". se c -boost -debug -bdw_gc test_alg20.e -o test_alg20.exe Running (-boost -debug -bdw_gc) "test_alg20.exe". se clean test_alg20.e Removing (-boost -debug -bdw_gc) "test_alg20.exe". se c -no_check -bdw_gc test_alg20.e -o test_alg20.exe Running (-no_check -bdw_gc) "test_alg20.exe". se clean test_alg20.e Removing (-no_check -bdw_gc) "test_alg20.exe". se c -flat_check -require_check -bdw_gc test_alg20.e -o test_alg20.exe Running (-flat_check -require_check -bdw_gc) "test_alg20.exe". se clean test_alg20.e Removing (-flat_check -require_check -bdw_gc) "test_alg20.exe". Excluded command: "se c -ensure_check -bdw_gc test_alg20.e -o test_alg20.exe". By excluded.lst: "se c -ensure_check". se c -flat_check -invariant_check -bdw_gc test_alg20.e -o test_alg20.exe Running (-flat_check -invariant_check -bdw_gc) "test_alg20.exe". se clean test_alg20.e Removing (-flat_check -invariant_check -bdw_gc) "test_alg20.exe". se c -flat_check -loop_check -bdw_gc test_alg20.e -o test_alg20.exe Running (-flat_check -loop_check -bdw_gc) "test_alg20.exe". se clean test_alg20.e Removing (-flat_check -loop_check -bdw_gc) "test_alg20.exe". se c -flat_check -all_check -bdw_gc test_alg20.e -o test_alg20.exe Running (-flat_check -all_check -bdw_gc) "test_alg20.exe". se clean test_alg20.e Removing (-flat_check -all_check -bdw_gc) "test_alg20.exe". Excluded command: "se c -all_check -debug test_alg20.e -o test_alg20.exe". By excluded.lst: "se c -all_check -debug". se c -require_check test_alg20.e -o test_alg20.exe Running (-require_check) "test_alg20.exe". se clean test_alg20.e Removing (-require_check) "test_alg20.exe". Excluded command: "se c -ensure_check test_alg20.e -o test_alg20.exe". By excluded.lst: "se c -ensure_check". Excluded command: "se c -invariant_check test_alg20.e -o test_alg20.exe". By excluded.lst: "se c -invariant_check". Excluded command: "se c -loop_check test_alg20.e -o test_alg20.exe". By excluded.lst: "se c -loop_check". Excluded command: "se c -all_check test_alg20.e -o test_alg20.exe". By excluded.lst: "se c -all_check". Excluded command: "se c -no_gc -require_check test_alg20.e -o test_alg20.exe". By excluded.lst: "se c -no_gc". Excluded command: "se c -no_gc -ensure_check test_alg20.e -o test_alg20.exe". By excluded.lst: "se c -no_gc". Excluded command: "se c -no_gc -invariant_check test_alg20.e -o test_alg20.exe". By excluded.lst: "se c -no_gc". Excluded command: "se c -no_gc -loop_check test_alg20.e -o test_alg20.exe". By excluded.lst: "se c -no_gc". Excluded command: "se c -no_gc -all_check test_alg20.e -o test_alg20.exe". By excluded.lst: "se c -no_gc". se c -require_check -bdw_gc test_alg20.e -o test_alg20.exe Running (-require_check -bdw_gc) "test_alg20.exe". se clean test_alg20.e Removing (-require_check -bdw_gc) "test_alg20.exe". Excluded command: "se c -ensure_check -bdw_gc test_alg20.e -o test_alg20.exe". By excluded.lst: "se c -ensure_check". Excluded command: "se c -invariant_check -bdw_gc test_alg20.e -o test_alg20.exe". By excluded.lst: "se c -invariant_check". Excluded command: "se c -loop_check -bdw_gc test_alg20.e -o test_alg20.exe". By excluded.lst: "se c -loop_check". Excluded command: "se c -all_check -bdw_gc test_alg20.e -o test_alg20.exe". By excluded.lst: "se c -all_check". Excluded command: "se c -profile -boost test_alg20.e -o test_alg20.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -all_check -debug test_alg20.e -o test_alg20.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -no_check test_alg20.e -o test_alg20.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -require_check test_alg20.e -o test_alg20.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -ensure_check test_alg20.e -o test_alg20.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -invariant_check test_alg20.e -o test_alg20.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -loop_check test_alg20.e -o test_alg20.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -all_check test_alg20.e -o test_alg20.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -no_gc -boost test_alg20.e -o test_alg20.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -no_gc -no_check test_alg20.e -o test_alg20.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -no_gc -require_check test_alg20.e -o test_alg20.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -no_gc -ensure_check test_alg20.e -o test_alg20.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -no_gc -invariant_check test_alg20.e -o test_alg20.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -no_gc -loop_check test_alg20.e -o test_alg20.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -no_gc -all_check test_alg20.e -o test_alg20.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -boost -bdw_gc test_alg20.e -o test_alg20.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -no_check -bdw_gc test_alg20.e -o test_alg20.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -require_check -bdw_gc test_alg20.e -o test_alg20.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -ensure_check -bdw_gc test_alg20.e -o test_alg20.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -invariant_check -bdw_gc test_alg20.e -o test_alg20.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -loop_check -bdw_gc test_alg20.e -o test_alg20.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -all_check -bdw_gc test_alg20.e -o test_alg20.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -flat_check -require_check test_alg20.e -o test_alg20.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -flat_check -ensure_check test_alg20.e -o test_alg20.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -flat_check -invariant_check test_alg20.e -o test_alg20.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -flat_check -loop_check test_alg20.e -o test_alg20.exe". By excluded.lst: "se c -profile". Excluded command: "se c -profile -flat_check -all_check test_alg20.e -o test_alg20.exe". By excluded.lst: "se c -profile". se c -no_split -boost test_alg20.e -o test_alg20.exe Running (-no_split -boost) "test_alg20.exe". se clean test_alg20.e Removing (-no_split -boost) "test_alg20.exe". se c -no_split -no_gc -boost test_alg20.e -o test_alg20.exe Running (-no_split -no_gc -boost) "test_alg20.exe". se clean test_alg20.e Removing (-no_split -no_gc -boost) "test_alg20.exe". se c -no_split -boost -bdw_gc test_alg20.e -o test_alg20.exe Running (-no_split -boost -bdw_gc) "test_alg20.exe". se clean test_alg20.e Removing (-no_split -boost -bdw_gc) "test_alg20.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.