This log file was generated by "se test" version #1.0.
The "log.new" file must be identical to the "log.ref" file.
The reference file is "log.ref" and this file must be created manually.
If you confirm that "log.new" is correct, just overwrite "log.ref" with "log.new".
--------------------------------------------------------------------------------
Found 6 test_* file(s).
Found 0 bad_* file(s).
No subdirectory.
--------------------------------------------------------------------------------
se c -boost test_const_string.e -o test_const_string.exe
Running (-boost) "test_const_string.exe".
se clean test_const_string.e
Removing (-boost) "test_const_string.exe".
se c -flat_check -debug_check test_const_string.e -o test_const_string.exe
Running (-flat_check -debug_check) "test_const_string.exe".
se clean test_const_string.e
Removing (-flat_check -debug_check) "test_const_string.exe".
se c -no_check test_const_string.e -o test_const_string.exe
Running (-no_check) "test_const_string.exe".
se clean test_const_string.e
Removing (-no_check) "test_const_string.exe".
se c -flat_check -require_check test_const_string.e -o test_const_string.exe
Running (-flat_check -require_check) "test_const_string.exe".
se clean test_const_string.e
Removing (-flat_check -require_check) "test_const_string.exe".
se c -flat_check -ensure_check test_const_string.e -o test_const_string.exe
Running (-flat_check -ensure_check) "test_const_string.exe".
se clean test_const_string.e
Removing (-flat_check -ensure_check) "test_const_string.exe".
se c -flat_check -invariant_check test_const_string.e -o test_const_string.exe
Running (-flat_check -invariant_check) "test_const_string.exe".
se clean test_const_string.e
Removing (-flat_check -invariant_check) "test_const_string.exe".
se c -flat_check -loop_check test_const_string.e -o test_const_string.exe
Running (-flat_check -loop_check) "test_const_string.exe".
se clean test_const_string.e
Removing (-flat_check -loop_check) "test_const_string.exe".
se c -flat_check -all_check test_const_string.e -o test_const_string.exe
Running (-flat_check -all_check) "test_const_string.exe".
se clean test_const_string.e
Removing (-flat_check -all_check) "test_const_string.exe".
se c -no_gc -boost test_const_string.e -o test_const_string.exe
Running (-no_gc -boost) "test_const_string.exe".
se clean test_const_string.e
Removing (-no_gc -boost) "test_const_string.exe".
se c -no_gc -flat_check -debug_check test_const_string.e -o test_const_string.exe
Running (-no_gc -flat_check -debug_check) "test_const_string.exe".
se clean test_const_string.e
Removing (-no_gc -flat_check -debug_check) "test_const_string.exe".
se c -no_gc -no_check test_const_string.e -o test_const_string.exe
Running (-no_gc -no_check) "test_const_string.exe".
se clean test_const_string.e
Removing (-no_gc -no_check) "test_const_string.exe".
se c -no_gc -flat_check -require_check test_const_string.e -o test_const_string.exe
Running (-no_gc -flat_check -require_check) "test_const_string.exe".
se clean test_const_string.e
Removing (-no_gc -flat_check -require_check) "test_const_string.exe".
se c -no_gc -ensure_check test_const_string.e -o test_const_string.exe
Running (-no_gc -ensure_check) "test_const_string.exe".
se clean test_const_string.e
Removing (-no_gc -ensure_check) "test_const_string.exe".
se c -no_gc -flat_check -invariant_check test_const_string.e -o test_const_string.exe
Running (-no_gc -flat_check -invariant_check) "test_const_string.exe".
se clean test_const_string.e
Removing (-no_gc -flat_check -invariant_check) "test_const_string.exe".
se c -no_gc -flat_check -loop_check test_const_string.e -o test_const_string.exe
Running (-no_gc -flat_check -loop_check) "test_const_string.exe".
se clean test_const_string.e
Removing (-no_gc -flat_check -loop_check) "test_const_string.exe".
se c -no_gc -flat_check -all_check test_const_string.e -o test_const_string.exe
Running (-no_gc -flat_check -all_check) "test_const_string.exe".
se clean test_const_string.e
Removing (-no_gc -flat_check -all_check) "test_const_string.exe".
se c -debug_check test_const_string.e -o test_const_string.exe
Running (-debug_check) "test_const_string.exe".
se clean test_const_string.e
Removing (-debug_check) "test_const_string.exe".
se c -require_check test_const_string.e -o test_const_string.exe
Running (-require_check) "test_const_string.exe".
se clean test_const_string.e
Removing (-require_check) "test_const_string.exe".
se c -ensure_check test_const_string.e -o test_const_string.exe
Running (-ensure_check) "test_const_string.exe".
se clean test_const_string.e
Removing (-ensure_check) "test_const_string.exe".
se c -invariant_check test_const_string.e -o test_const_string.exe
Running (-invariant_check) "test_const_string.exe".
se clean test_const_string.e
Removing (-invariant_check) "test_const_string.exe".
se c -loop_check test_const_string.e -o test_const_string.exe
Running (-loop_check) "test_const_string.exe".
se clean test_const_string.e
Removing (-loop_check) "test_const_string.exe".
se c -all_check test_const_string.e -o test_const_string.exe
Running (-all_check) "test_const_string.exe".
se clean test_const_string.e
Removing (-all_check) "test_const_string.exe".
se c -no_gc -debug_check test_const_string.e -o test_const_string.exe
Running (-no_gc -debug_check) "test_const_string.exe".
se clean test_const_string.e
Removing (-no_gc -debug_check) "test_const_string.exe".
se c -no_gc -require_check test_const_string.e -o test_const_string.exe
Running (-no_gc -require_check) "test_const_string.exe".
se clean test_const_string.e
Removing (-no_gc -require_check) "test_const_string.exe".
se c -no_gc -ensure_check test_const_string.e -o test_const_string.exe
Running (-no_gc -ensure_check) "test_const_string.exe".
se clean test_const_string.e
Removing (-no_gc -ensure_check) "test_const_string.exe".
se c -no_gc -invariant_check test_const_string.e -o test_const_string.exe
Running (-no_gc -invariant_check) "test_const_string.exe".
se clean test_const_string.e
Removing (-no_gc -invariant_check) "test_const_string.exe".
se c -no_gc -loop_check test_const_string.e -o test_const_string.exe
Running (-no_gc -loop_check) "test_const_string.exe".
se clean test_const_string.e
Removing (-no_gc -loop_check) "test_const_string.exe".
se c -no_gc -all_check test_const_string.e -o test_const_string.exe
Running (-no_gc -all_check) "test_const_string.exe".
se clean test_const_string.e
Removing (-no_gc -all_check) "test_const_string.exe".
Excluded command: "se c -profile -boost test_const_string.e -o test_const_string.exe".
By excluded.lst:  "se c -profile".
Excluded command: "se c -profile -debug_check test_const_string.e -o test_const_string.exe".
By excluded.lst:  "se c -profile".
Excluded command: "se c -profile -no_check test_const_string.e -o test_const_string.exe".
By excluded.lst:  "se c -profile".
Excluded command: "se c -profile -require_check test_const_string.e -o test_const_string.exe".
By excluded.lst:  "se c -profile".
Excluded command: "se c -profile -ensure_check test_const_string.e -o test_const_string.exe".
By excluded.lst:  "se c -profile".
Excluded command: "se c -profile -invariant_check test_const_string.e -o test_const_string.exe".
By excluded.lst:  "se c -profile".
Excluded command: "se c -profile -loop_check test_const_string.e -o test_const_string.exe".
By excluded.lst:  "se c -profile".
Excluded command: "se c -profile -all_check test_const_string.e -o test_const_string.exe".
By excluded.lst:  "se c -profile".
Excluded command: "se c -profile -no_gc -boost test_const_string.e -o test_const_string.exe".
By excluded.lst:  "se c -profile".
Excluded command: "se c -profile -no_gc -debug_check test_const_string.e -o test_const_string.exe".
By excluded.lst:  "se c -profile".
Excluded command: "se c -profile -no_gc -no_check test_const_string.e -o test_const_string.exe".
By excluded.lst:  "se c -profile".
Excluded command: "se c -profile -no_gc -require_check test_const_string.e -o test_const_string.exe".
By excluded.lst:  "se c -profile".
Excluded command: "se c -profile -no_gc -ensure_check test_const_string.e -o test_const_string.exe".
By excluded.lst:  "se c -profile".
Excluded command: "se c -profile -no_gc -invariant_check test_const_string.e -o test_const_string.exe".
By excluded.lst:  "se c -profile".
Excluded command: "se c -profile -no_gc -loop_check test_const_string.e -o test_const_string.exe".
By excluded.lst:  "se c -profile".
Excluded command: "se c -profile -no_gc -all_check test_const_string.e -o test_const_string.exe".
By excluded.lst:  "se c -profile".
Excluded command: "se c -profile -flat_check -debug_check test_const_string.e -o test_const_string.exe".
By excluded.lst:  "se c -profile".
Excluded command: "se c -profile -flat_check -require_check test_const_string.e -o test_const_string.exe".
By excluded.lst:  "se c -profile".
Excluded command: "se c -profile -flat_check -ensure_check test_const_string.e -o test_const_string.exe".
By excluded.lst:  "se c -profile".
Excluded command: "se c -profile -flat_check -invariant_check test_const_string.e -o test_const_string.exe".
By excluded.lst:  "se c -profile".
Excluded command: "se c -profile -flat_check -loop_check test_const_string.e -o test_const_string.exe".
By excluded.lst:  "se c -profile".
Excluded command: "se c -profile -flat_check -all_check test_const_string.e -o test_const_string.exe".
By excluded.lst:  "se c -profile".
se c -no_split -boost test_const_string.e -o test_const_string.exe
Running (-no_split -boost) "test_const_string.exe".
se clean test_const_string.e
Removing (-no_split -boost) "test_const_string.exe".
se c -no_split -no_gc -boost test_const_string.e -o test_const_string.exe
Running (-no_split -no_gc -boost) "test_const_string.exe".
se clean test_const_string.e
Removing (-no_split -no_gc -boost) "test_const_string.exe".
se c -boost test_natural.e -o test_natural.exe
Running (-boost) "test_natural.exe".
se clean test_natural.e
Removing (-boost) "test_natural.exe".
se c -flat_check -debug_check test_natural.e -o test_natural.exe
Running (-flat_check -debug_check) "test_natural.exe".
se clean test_natural.e
Removing (-flat_check -debug_check) "test_natural.exe".
se c -no_check test_natural.e -o test_natural.exe
Running (-no_check) "test_natural.exe".
se clean test_natural.e
Removing (-no_check) "test_natural.exe".
se c -flat_check -require_check test_natural.e -o test_natural.exe
Running (-flat_check -require_check) "test_natural.exe".
se clean test_natural.e
Removing (-flat_check -require_check) "test_natural.exe".
se c -flat_check -ensure_check test_natural.e -o test_natural.exe
Running (-flat_check -ensure_check) "test_natural.exe".
se clean test_natural.e
Removing (-flat_check -ensure_check) "test_natural.exe".
se c -flat_check -invariant_check test_natural.e -o test_natural.exe
Running (-flat_check -invariant_check) "test_natural.exe".
se clean test_natural.e
Removing (-flat_check -invariant_check) "test_natural.exe".
se c -flat_check -loop_check test_natural.e -o test_natural.exe
Running (-flat_check -loop_check) "test_natural.exe".
se clean test_natural.e
Removing (-flat_check -loop_check) "test_natural.exe".
se c -flat_check -all_check test_natural.e -o test_natural.exe
Running (-flat_check -all_check) "test_natural.exe".
se clean test_natural.e
Removing (-flat_check -all_check) "test_natural.exe".
se c -no_gc -boost test_natural.e -o test_natural.exe
Running (-no_gc -boost) "test_natural.exe".
se clean test_natural.e
Removing (-no_gc -boost) "test_natural.exe".
se c -no_gc -flat_check -debug_check test_natural.e -o test_natural.exe
Running (-no_gc -flat_check -debug_check) "test_natural.exe".
se clean test_natural.e
Removing (-no_gc -flat_check -debug_check) "test_natural.exe".
se c -no_gc -no_check test_natural.e -o test_natural.exe
Running (-no_gc -no_check) "test_natural.exe".
se clean test_natural.e
Removing (-no_gc -no_check) "test_natural.exe".
se c -no_gc -flat_check -require_check test_natural.e -o test_natural.exe
Running (-no_gc -flat_check -require_check) "test_natural.exe".
se clean test_natural.e
Removing (-no_gc -flat_check -require_check) "test_natural.exe".
se c -no_gc -ensure_check test_natural.e -o test_natural.exe
Running (-no_gc -ensure_check) "test_natural.exe".
se clean test_natural.e
Removing (-no_gc -ensure_check) "test_natural.exe".
se c -no_gc -flat_check -invariant_check test_natural.e -o test_natural.exe
Running (-no_gc -flat_check -invariant_check) "test_natural.exe".
se clean test_natural.e
Removing (-no_gc -flat_check -invariant_check) "test_natural.exe".
se c -no_gc -flat_check -loop_check test_natural.e -o test_natural.exe
Running (-no_gc -flat_check -loop_check) "test_natural.exe".
se clean test_natural.e
Removing (-no_gc -flat_check -loop_check) "test_natural.exe".
se c -no_gc -flat_check -all_check test_natural.e -o test_natural.exe
Running (-no_gc -flat_check -all_check) "test_natural.exe".
se clean test_natural.e
Removing (-no_gc -flat_check -all_check) "test_natural.exe".
se c -debug_check test_natural.e -o test_natural.exe
Running (-debug_check) "test_natural.exe".
se clean test_natural.e
Removing (-debug_check) "test_natural.exe".
se c -require_check test_natural.e -o test_natural.exe
Running (-require_check) "test_natural.exe".
se clean test_natural.e
Removing (-require_check) "test_natural.exe".
se c -ensure_check test_natural.e -o test_natural.exe
Running (-ensure_check) "test_natural.exe".
se clean test_natural.e
Removing (-ensure_check) "test_natural.exe".
se c -invariant_check test_natural.e -o test_natural.exe
Running (-invariant_check) "test_natural.exe".
se clean test_natural.e
Removing (-invariant_check) "test_natural.exe".
se c -loop_check test_natural.e -o test_natural.exe
Running (-loop_check) "test_natural.exe".
se clean test_natural.e
Removing (-loop_check) "test_natural.exe".
se c -all_check test_natural.e -o test_natural.exe
Running (-all_check) "test_natural.exe".
se clean test_natural.e
Removing (-all_check) "test_natural.exe".
se c -no_gc -debug_check test_natural.e -o test_natural.exe
Running (-no_gc -debug_check) "test_natural.exe".
se clean test_natural.e
Removing (-no_gc -debug_check) "test_natural.exe".
se c -no_gc -require_check test_natural.e -o test_natural.exe
Running (-no_gc -require_check) "test_natural.exe".
se clean test_natural.e
Removing (-no_gc -require_check) "test_natural.exe".
se c -no_gc -ensure_check test_natural.e -o test_natural.exe
Running (-no_gc -ensure_check) "test_natural.exe".
se clean test_natural.e
Removing (-no_gc -ensure_check) "test_natural.exe".
se c -no_gc -invariant_check test_natural.e -o test_natural.exe
Running (-no_gc -invariant_check) "test_natural.exe".
se clean test_natural.e
Removing (-no_gc -invariant_check) "test_natural.exe".
se c -no_gc -loop_check test_natural.e -o test_natural.exe
Running (-no_gc -loop_check) "test_natural.exe".
se clean test_natural.e
Removing (-no_gc -loop_check) "test_natural.exe".
se c -no_gc -all_check test_natural.e -o test_natural.exe
Running (-no_gc -all_check) "test_natural.exe".
se clean test_natural.e
Removing (-no_gc -all_check) "test_natural.exe".
Excluded command: "se c -profile -boost test_natural.e -o test_natural.exe".
By excluded.lst:  "se c -profile".
Excluded command: "se c -profile -debug_check test_natural.e -o test_natural.exe".
By excluded.lst:  "se c -profile".
Excluded command: "se c -profile -no_check test_natural.e -o test_natural.exe".
By excluded.lst:  "se c -profile".
Excluded command: "se c -profile -require_check test_natural.e -o test_natural.exe".
By excluded.lst:  "se c -profile".
Excluded command: "se c -profile -ensure_check test_natural.e -o test_natural.exe".
By excluded.lst:  "se c -profile".
Excluded command: "se c -profile -invariant_check test_natural.e -o test_natural.exe".
By excluded.lst:  "se c -profile".
Excluded command: "se c -profile -loop_check test_natural.e -o test_natural.exe".
By excluded.lst:  "se c -profile".
Excluded command: "se c -profile -all_check test_natural.e -o test_natural.exe".
By excluded.lst:  "se c -profile".
Excluded command: "se c -profile -no_gc -boost test_natural.e -o test_natural.exe".
By excluded.lst:  "se c -profile".
Excluded command: "se c -profile -no_gc -debug_check test_natural.e -o test_natural.exe".
By excluded.lst:  "se c -profile".
Excluded command: "se c -profile -no_gc -no_check test_natural.e -o test_natural.exe".
By excluded.lst:  "se c -profile".
Excluded command: "se c -profile -no_gc -require_check test_natural.e -o test_natural.exe".
By excluded.lst:  "se c -profile".
Excluded command: "se c -profile -no_gc -ensure_check test_natural.e -o test_natural.exe".
By excluded.lst:  "se c -profile".
Excluded command: "se c -profile -no_gc -invariant_check test_natural.e -o test_natural.exe".
By excluded.lst:  "se c -profile".
Excluded command: "se c -profile -no_gc -loop_check test_natural.e -o test_natural.exe".
By excluded.lst:  "se c -profile".
Excluded command: "se c -profile -no_gc -all_check test_natural.e -o test_natural.exe".
By excluded.lst:  "se c -profile".
Excluded command: "se c -profile -flat_check -debug_check test_natural.e -o test_natural.exe".
By excluded.lst:  "se c -profile".
Excluded command: "se c -profile -flat_check -require_check test_natural.e -o test_natural.exe".
By excluded.lst:  "se c -profile".
Excluded command: "se c -profile -flat_check -ensure_check test_natural.e -o test_natural.exe".
By excluded.lst:  "se c -profile".
Excluded command: "se c -profile -flat_check -invariant_check test_natural.e -o test_natural.exe".
By excluded.lst:  "se c -profile".
Excluded command: "se c -profile -flat_check -loop_check test_natural.e -o test_natural.exe".
By excluded.lst:  "se c -profile".
Excluded command: "se c -profile -flat_check -all_check test_natural.e -o test_natural.exe".
By excluded.lst:  "se c -profile".
se c -no_split -boost test_natural.e -o test_natural.exe
Running (-no_split -boost) "test_natural.exe".
se clean test_natural.e
Removing (-no_split -boost) "test_natural.exe".
se c -no_split -no_gc -boost test_natural.e -o test_natural.exe
Running (-no_split -no_gc -boost) "test_natural.exe".
se clean test_natural.e
Removing (-no_split -no_gc -boost) "test_natural.exe".
se c -boost test_natural2.e -o test_natural2.exe
Running (-boost) "test_natural2.exe".
se clean test_natural2.e
Removing (-boost) "test_natural2.exe".
se c -flat_check -debug_check test_natural2.e -o test_natural2.exe
Running (-flat_check -debug_check) "test_natural2.exe".
se clean test_natural2.e
Removing (-flat_check -debug_check) "test_natural2.exe".
se c -no_check test_natural2.e -o test_natural2.exe
Running (-no_check) "test_natural2.exe".
se clean test_natural2.e
Removing (-no_check) "test_natural2.exe".
se c -flat_check -require_check test_natural2.e -o test_natural2.exe
Running (-flat_check -require_check) "test_natural2.exe".
se clean test_natural2.e
Removing (-flat_check -require_check) "test_natural2.exe".
se c -flat_check -ensure_check test_natural2.e -o test_natural2.exe
Running (-flat_check -ensure_check) "test_natural2.exe".
se clean test_natural2.e
Removing (-flat_check -ensure_check) "test_natural2.exe".
se c -flat_check -invariant_check test_natural2.e -o test_natural2.exe
Running (-flat_check -invariant_check) "test_natural2.exe".
se clean test_natural2.e
Removing (-flat_check -invariant_check) "test_natural2.exe".
se c -flat_check -loop_check test_natural2.e -o test_natural2.exe
Running (-flat_check -loop_check) "test_natural2.exe".
se clean test_natural2.e
Removing (-flat_check -loop_check) "test_natural2.exe".
se c -flat_check -all_check test_natural2.e -o test_natural2.exe
Running (-flat_check -all_check) "test_natural2.exe".
se clean test_natural2.e
Removing (-flat_check -all_check) "test_natural2.exe".
se c -no_gc -boost test_natural2.e -o test_natural2.exe
Running (-no_gc -boost) "test_natural2.exe".
se clean test_natural2.e
Removing (-no_gc -boost) "test_natural2.exe".
se c -no_gc -flat_check -debug_check test_natural2.e -o test_natural2.exe
Running (-no_gc -flat_check -debug_check) "test_natural2.exe".
se clean test_natural2.e
Removing (-no_gc -flat_check -debug_check) "test_natural2.exe".
se c -no_gc -no_check test_natural2.e -o test_natural2.exe
Running (-no_gc -no_check) "test_natural2.exe".
se clean test_natural2.e
Removing (-no_gc -no_check) "test_natural2.exe".
se c -no_gc -flat_check -require_check test_natural2.e -o test_natural2.exe
Running (-no_gc -flat_check -require_check) "test_natural2.exe".
se clean test_natural2.e
Removing (-no_gc -flat_check -require_check) "test_natural2.exe".
se c -no_gc -ensure_check test_natural2.e -o test_natural2.exe
Running (-no_gc -ensure_check) "test_natural2.exe".
se clean test_natural2.e
Removing (-no_gc -ensure_check) "test_natural2.exe".
se c -no_gc -flat_check -invariant_check test_natural2.e -o test_natural2.exe
Running (-no_gc -flat_check -invariant_check) "test_natural2.exe".
se clean test_natural2.e
Removing (-no_gc -flat_check -invariant_check) "test_natural2.exe".
se c -no_gc -flat_check -loop_check test_natural2.e -o test_natural2.exe
Running (-no_gc -flat_check -loop_check) "test_natural2.exe".
se clean test_natural2.e
Removing (-no_gc -flat_check -loop_check) "test_natural2.exe".
se c -no_gc -flat_check -all_check test_natural2.e -o test_natural2.exe
Running (-no_gc -flat_check -all_check) "test_natural2.exe".
se clean test_natural2.e
Removing (-no_gc -flat_check -all_check) "test_natural2.exe".
se c -debug_check test_natural2.e -o test_natural2.exe
Running (-debug_check) "test_natural2.exe".
se clean test_natural2.e
Removing (-debug_check) "test_natural2.exe".
se c -require_check test_natural2.e -o test_natural2.exe
Running (-require_check) "test_natural2.exe".
se clean test_natural2.e
Removing (-require_check) "test_natural2.exe".
se c -ensure_check test_natural2.e -o test_natural2.exe
Running (-ensure_check) "test_natural2.exe".
se clean test_natural2.e
Removing (-ensure_check) "test_natural2.exe".
se c -invariant_check test_natural2.e -o test_natural2.exe
Running (-invariant_check) "test_natural2.exe".
se clean test_natural2.e
Removing (-invariant_check) "test_natural2.exe".
se c -loop_check test_natural2.e -o test_natural2.exe
Running (-loop_check) "test_natural2.exe".
se clean test_natural2.e
Removing (-loop_check) "test_natural2.exe".
se c -all_check test_natural2.e -o test_natural2.exe
Running (-all_check) "test_natural2.exe".
se clean test_natural2.e
Removing (-all_check) "test_natural2.exe".
se c -no_gc -debug_check test_natural2.e -o test_natural2.exe
Running (-no_gc -debug_check) "test_natural2.exe".
se clean test_natural2.e
Removing (-no_gc -debug_check) "test_natural2.exe".
se c -no_gc -require_check test_natural2.e -o test_natural2.exe
Running (-no_gc -require_check) "test_natural2.exe".
se clean test_natural2.e
Removing (-no_gc -require_check) "test_natural2.exe".
se c -no_gc -ensure_check test_natural2.e -o test_natural2.exe
Running (-no_gc -ensure_check) "test_natural2.exe".
se clean test_natural2.e
Removing (-no_gc -ensure_check) "test_natural2.exe".
se c -no_gc -invariant_check test_natural2.e -o test_natural2.exe
Running (-no_gc -invariant_check) "test_natural2.exe".
se clean test_natural2.e
Removing (-no_gc -invariant_check) "test_natural2.exe".
se c -no_gc -loop_check test_natural2.e -o test_natural2.exe
Running (-no_gc -loop_check) "test_natural2.exe".
se clean test_natural2.e
Removing (-no_gc -loop_check) "test_natural2.exe".
se c -no_gc -all_check test_natural2.e -o test_natural2.exe
Running (-no_gc -all_check) "test_natural2.exe".
se clean test_natural2.e
Removing (-no_gc -all_check) "test_natural2.exe".
Excluded command: "se c -profile -boost test_natural2.e -o test_natural2.exe".
By excluded.lst:  "se c -profile".
Excluded command: "se c -profile -debug_check test_natural2.e -o test_natural2.exe".
By excluded.lst:  "se c -profile".
Excluded command: "se c -profile -no_check test_natural2.e -o test_natural2.exe".
By excluded.lst:  "se c -profile".
Excluded command: "se c -profile -require_check test_natural2.e -o test_natural2.exe".
By excluded.lst:  "se c -profile".
Excluded command: "se c -profile -ensure_check test_natural2.e -o test_natural2.exe".
By excluded.lst:  "se c -profile".
Excluded command: "se c -profile -invariant_check test_natural2.e -o test_natural2.exe".
By excluded.lst:  "se c -profile".
Excluded command: "se c -profile -loop_check test_natural2.e -o test_natural2.exe".
By excluded.lst:  "se c -profile".
Excluded command: "se c -profile -all_check test_natural2.e -o test_natural2.exe".
By excluded.lst:  "se c -profile".
Excluded command: "se c -profile -no_gc -boost test_natural2.e -o test_natural2.exe".
By excluded.lst:  "se c -profile".
Excluded command: "se c -profile -no_gc -debug_check test_natural2.e -o test_natural2.exe".
By excluded.lst:  "se c -profile".
Excluded command: "se c -profile -no_gc -no_check test_natural2.e -o test_natural2.exe".
By excluded.lst:  "se c -profile".
Excluded command: "se c -profile -no_gc -require_check test_natural2.e -o test_natural2.exe".
By excluded.lst:  "se c -profile".
Excluded command: "se c -profile -no_gc -ensure_check test_natural2.e -o test_natural2.exe".
By excluded.lst:  "se c -profile".
Excluded command: "se c -profile -no_gc -invariant_check test_natural2.e -o test_natural2.exe".
By excluded.lst:  "se c -profile".
Excluded command: "se c -profile -no_gc -loop_check test_natural2.e -o test_natural2.exe".
By excluded.lst:  "se c -profile".
Excluded command: "se c -profile -no_gc -all_check test_natural2.e -o test_natural2.exe".
By excluded.lst:  "se c -profile".
Excluded command: "se c -profile -flat_check -debug_check test_natural2.e -o test_natural2.exe".
By excluded.lst:  "se c -profile".
Excluded command: "se c -profile -flat_check -require_check test_natural2.e -o test_natural2.exe".
By excluded.lst:  "se c -profile".
Excluded command: "se c -profile -flat_check -ensure_check test_natural2.e -o test_natural2.exe".
By excluded.lst:  "se c -profile".
Excluded command: "se c -profile -flat_check -invariant_check test_natural2.e -o test_natural2.exe".
By excluded.lst:  "se c -profile".
Excluded command: "se c -profile -flat_check -loop_check test_natural2.e -o test_natural2.exe".
By excluded.lst:  "se c -profile".
Excluded command: "se c -profile -flat_check -all_check test_natural2.e -o test_natural2.exe".
By excluded.lst:  "se c -profile".
se c -no_split -boost test_natural2.e -o test_natural2.exe
Running (-no_split -boost) "test_natural2.exe".
se clean test_natural2.e
Removing (-no_split -boost) "test_natural2.exe".
se c -no_split -no_gc -boost test_natural2.e -o test_natural2.exe
Running (-no_split -no_gc -boost) "test_natural2.exe".
se clean test_natural2.e
Removing (-no_split -no_gc -boost) "test_natural2.exe".
se c -boost test_natural3.e -o test_natural3.exe
Running (-boost) "test_natural3.exe".
se clean test_natural3.e
Removing (-boost) "test_natural3.exe".
se c -flat_check -debug_check test_natural3.e -o test_natural3.exe
Running (-flat_check -debug_check) "test_natural3.exe".
se clean test_natural3.e
Removing (-flat_check -debug_check) "test_natural3.exe".
se c -no_check test_natural3.e -o test_natural3.exe
Running (-no_check) "test_natural3.exe".
se clean test_natural3.e
Removing (-no_check) "test_natural3.exe".
se c -flat_check -require_check test_natural3.e -o test_natural3.exe
Running (-flat_check -require_check) "test_natural3.exe".
se clean test_natural3.e
Removing (-flat_check -require_check) "test_natural3.exe".
se c -flat_check -ensure_check test_natural3.e -o test_natural3.exe
Running (-flat_check -ensure_check) "test_natural3.exe".
se clean test_natural3.e
Removing (-flat_check -ensure_check) "test_natural3.exe".
se c -flat_check -invariant_check test_natural3.e -o test_natural3.exe
Running (-flat_check -invariant_check) "test_natural3.exe".
se clean test_natural3.e
Removing (-flat_check -invariant_check) "test_natural3.exe".
se c -flat_check -loop_check test_natural3.e -o test_natural3.exe
Running (-flat_check -loop_check) "test_natural3.exe".
se clean test_natural3.e
Removing (-flat_check -loop_check) "test_natural3.exe".
se c -flat_check -all_check test_natural3.e -o test_natural3.exe
Running (-flat_check -all_check) "test_natural3.exe".
se clean test_natural3.e
Removing (-flat_check -all_check) "test_natural3.exe".
se c -no_gc -boost test_natural3.e -o test_natural3.exe
Running (-no_gc -boost) "test_natural3.exe".
se clean test_natural3.e
Removing (-no_gc -boost) "test_natural3.exe".
se c -no_gc -flat_check -debug_check test_natural3.e -o test_natural3.exe
Running (-no_gc -flat_check -debug_check) "test_natural3.exe".
se clean test_natural3.e
Removing (-no_gc -flat_check -debug_check) "test_natural3.exe".
se c -no_gc -no_check test_natural3.e -o test_natural3.exe
Running (-no_gc -no_check) "test_natural3.exe".
se clean test_natural3.e
Removing (-no_gc -no_check) "test_natural3.exe".
se c -no_gc -flat_check -require_check test_natural3.e -o test_natural3.exe
Running (-no_gc -flat_check -require_check) "test_natural3.exe".
se clean test_natural3.e
Removing (-no_gc -flat_check -require_check) "test_natural3.exe".
se c -no_gc -ensure_check test_natural3.e -o test_natural3.exe
Running (-no_gc -ensure_check) "test_natural3.exe".
se clean test_natural3.e
Removing (-no_gc -ensure_check) "test_natural3.exe".
se c -no_gc -flat_check -invariant_check test_natural3.e -o test_natural3.exe
Running (-no_gc -flat_check -invariant_check) "test_natural3.exe".
se clean test_natural3.e
Removing (-no_gc -flat_check -invariant_check) "test_natural3.exe".
se c -no_gc -flat_check -loop_check test_natural3.e -o test_natural3.exe
Running (-no_gc -flat_check -loop_check) "test_natural3.exe".
se clean test_natural3.e
Removing (-no_gc -flat_check -loop_check) "test_natural3.exe".
se c -no_gc -flat_check -all_check test_natural3.e -o test_natural3.exe
Running (-no_gc -flat_check -all_check) "test_natural3.exe".
se clean test_natural3.e
Removing (-no_gc -flat_check -all_check) "test_natural3.exe".
se c -debug_check test_natural3.e -o test_natural3.exe
Running (-debug_check) "test_natural3.exe".
se clean test_natural3.e
Removing (-debug_check) "test_natural3.exe".
se c -require_check test_natural3.e -o test_natural3.exe
Running (-require_check) "test_natural3.exe".
se clean test_natural3.e
Removing (-require_check) "test_natural3.exe".
se c -ensure_check test_natural3.e -o test_natural3.exe
Running (-ensure_check) "test_natural3.exe".
se clean test_natural3.e
Removing (-ensure_check) "test_natural3.exe".
se c -invariant_check test_natural3.e -o test_natural3.exe
Running (-invariant_check) "test_natural3.exe".
se clean test_natural3.e
Removing (-invariant_check) "test_natural3.exe".
se c -loop_check test_natural3.e -o test_natural3.exe
Running (-loop_check) "test_natural3.exe".
se clean test_natural3.e
Removing (-loop_check) "test_natural3.exe".
se c -all_check test_natural3.e -o test_natural3.exe
Running (-all_check) "test_natural3.exe".
se clean test_natural3.e
Removing (-all_check) "test_natural3.exe".
se c -no_gc -debug_check test_natural3.e -o test_natural3.exe
Running (-no_gc -debug_check) "test_natural3.exe".
se clean test_natural3.e
Removing (-no_gc -debug_check) "test_natural3.exe".
se c -no_gc -require_check test_natural3.e -o test_natural3.exe
Running (-no_gc -require_check) "test_natural3.exe".
se clean test_natural3.e
Removing (-no_gc -require_check) "test_natural3.exe".
se c -no_gc -ensure_check test_natural3.e -o test_natural3.exe
Running (-no_gc -ensure_check) "test_natural3.exe".
se clean test_natural3.e
Removing (-no_gc -ensure_check) "test_natural3.exe".
se c -no_gc -invariant_check test_natural3.e -o test_natural3.exe
Running (-no_gc -invariant_check) "test_natural3.exe".
se clean test_natural3.e
Removing (-no_gc -invariant_check) "test_natural3.exe".
se c -no_gc -loop_check test_natural3.e -o test_natural3.exe
Running (-no_gc -loop_check) "test_natural3.exe".
se clean test_natural3.e
Removing (-no_gc -loop_check) "test_natural3.exe".
se c -no_gc -all_check test_natural3.e -o test_natural3.exe
Running (-no_gc -all_check) "test_natural3.exe".
se clean test_natural3.e
Removing (-no_gc -all_check) "test_natural3.exe".
Excluded command: "se c -profile -boost test_natural3.e -o test_natural3.exe".
By excluded.lst:  "se c -profile".
Excluded command: "se c -profile -debug_check test_natural3.e -o test_natural3.exe".
By excluded.lst:  "se c -profile".
Excluded command: "se c -profile -no_check test_natural3.e -o test_natural3.exe".
By excluded.lst:  "se c -profile".
Excluded command: "se c -profile -require_check test_natural3.e -o test_natural3.exe".
By excluded.lst:  "se c -profile".
Excluded command: "se c -profile -ensure_check test_natural3.e -o test_natural3.exe".
By excluded.lst:  "se c -profile".
Excluded command: "se c -profile -invariant_check test_natural3.e -o test_natural3.exe".
By excluded.lst:  "se c -profile".
Excluded command: "se c -profile -loop_check test_natural3.e -o test_natural3.exe".
By excluded.lst:  "se c -profile".
Excluded command: "se c -profile -all_check test_natural3.e -o test_natural3.exe".
By excluded.lst:  "se c -profile".
Excluded command: "se c -profile -no_gc -boost test_natural3.e -o test_natural3.exe".
By excluded.lst:  "se c -profile".
Excluded command: "se c -profile -no_gc -debug_check test_natural3.e -o test_natural3.exe".
By excluded.lst:  "se c -profile".
Excluded command: "se c -profile -no_gc -no_check test_natural3.e -o test_natural3.exe".
By excluded.lst:  "se c -profile".
Excluded command: "se c -profile -no_gc -require_check test_natural3.e -o test_natural3.exe".
By excluded.lst:  "se c -profile".
Excluded command: "se c -profile -no_gc -ensure_check test_natural3.e -o test_natural3.exe".
By excluded.lst:  "se c -profile".
Excluded command: "se c -profile -no_gc -invariant_check test_natural3.e -o test_natural3.exe".
By excluded.lst:  "se c -profile".
Excluded command: "se c -profile -no_gc -loop_check test_natural3.e -o test_natural3.exe".
By excluded.lst:  "se c -profile".
Excluded command: "se c -profile -no_gc -all_check test_natural3.e -o test_natural3.exe".
By excluded.lst:  "se c -profile".
Excluded command: "se c -profile -flat_check -debug_check test_natural3.e -o test_natural3.exe".
By excluded.lst:  "se c -profile".
Excluded command: "se c -profile -flat_check -require_check test_natural3.e -o test_natural3.exe".
By excluded.lst:  "se c -profile".
Excluded command: "se c -profile -flat_check -ensure_check test_natural3.e -o test_natural3.exe".
By excluded.lst:  "se c -profile".
Excluded command: "se c -profile -flat_check -invariant_check test_natural3.e -o test_natural3.exe".
By excluded.lst:  "se c -profile".
Excluded command: "se c -profile -flat_check -loop_check test_natural3.e -o test_natural3.exe".
By excluded.lst:  "se c -profile".
Excluded command: "se c -profile -flat_check -all_check test_natural3.e -o test_natural3.exe".
By excluded.lst:  "se c -profile".
se c -no_split -boost test_natural3.e -o test_natural3.exe
Running (-no_split -boost) "test_natural3.exe".
se clean test_natural3.e
Removing (-no_split -boost) "test_natural3.exe".
se c -no_split -no_gc -boost test_natural3.e -o test_natural3.exe
Running (-no_split -no_gc -boost) "test_natural3.exe".
se clean test_natural3.e
Removing (-no_split -no_gc -boost) "test_natural3.exe".
se c -boost test_natural4.e -o test_natural4.exe
Abnormal exit status of "se c -boost test_natural4.e -o test_natural4.exe".
se c -flat_check -debug_check test_natural4.e -o test_natural4.exe
Abnormal exit status of "se c -flat_check -debug_check test_natural4.e -o test_natural4.exe".
se c -no_check test_natural4.e -o test_natural4.exe
Abnormal exit status of "se c -no_check test_natural4.e -o test_natural4.exe".
se c -flat_check -require_check test_natural4.e -o test_natural4.exe
Abnormal exit status of "se c -flat_check -require_check test_natural4.e -o test_natural4.exe".
se c -flat_check -ensure_check test_natural4.e -o test_natural4.exe
Abnormal exit status of "se c -flat_check -ensure_check test_natural4.e -o test_natural4.exe".
se c -flat_check -invariant_check test_natural4.e -o test_natural4.exe
Abnormal exit status of "se c -flat_check -invariant_check test_natural4.e -o test_natural4.exe".
se c -flat_check -loop_check test_natural4.e -o test_natural4.exe
Abnormal exit status of "se c -flat_check -loop_check test_natural4.e -o test_natural4.exe".
se c -flat_check -all_check test_natural4.e -o test_natural4.exe
Abnormal exit status of "se c -flat_check -all_check test_natural4.e -o test_natural4.exe".
se c -no_gc -boost test_natural4.e -o test_natural4.exe
Abnormal exit status of "se c -no_gc -boost test_natural4.e -o test_natural4.exe".
se c -no_gc -flat_check -debug_check test_natural4.e -o test_natural4.exe
Abnormal exit status of "se c -no_gc -flat_check -debug_check test_natural4.e -o test_natural4.exe".
se c -no_gc -no_check test_natural4.e -o test_natural4.exe
Abnormal exit status of "se c -no_gc -no_check test_natural4.e -o test_natural4.exe".
se c -no_gc -flat_check -require_check test_natural4.e -o test_natural4.exe
Abnormal exit status of "se c -no_gc -flat_check -require_check test_natural4.e -o test_natural4.exe".
se c -no_gc -ensure_check test_natural4.e -o test_natural4.exe
Abnormal exit status of "se c -no_gc -ensure_check test_natural4.e -o test_natural4.exe".
se c -no_gc -flat_check -invariant_check test_natural4.e -o test_natural4.exe
Abnormal exit status of "se c -no_gc -flat_check -invariant_check test_natural4.e -o test_natural4.exe".
se c -no_gc -flat_check -loop_check test_natural4.e -o test_natural4.exe
Abnormal exit status of "se c -no_gc -flat_check -loop_check test_natural4.e -o test_natural4.exe".
se c -no_gc -flat_check -all_check test_natural4.e -o test_natural4.exe
Abnormal exit status of "se c -no_gc -flat_check -all_check test_natural4.e -o test_natural4.exe".
se c -debug_check test_natural4.e -o test_natural4.exe
Abnormal exit status of "se c -debug_check test_natural4.e -o test_natural4.exe".
se c -require_check test_natural4.e -o test_natural4.exe
Abnormal exit status of "se c -require_check test_natural4.e -o test_natural4.exe".
se c -ensure_check test_natural4.e -o test_natural4.exe
Abnormal exit status of "se c -ensure_check test_natural4.e -o test_natural4.exe".
se c -invariant_check test_natural4.e -o test_natural4.exe
Abnormal exit status of "se c -invariant_check test_natural4.e -o test_natural4.exe".
se c -loop_check test_natural4.e -o test_natural4.exe
Abnormal exit status of "se c -loop_check test_natural4.e -o test_natural4.exe".
se c -all_check test_natural4.e -o test_natural4.exe
Abnormal exit status of "se c -all_check test_natural4.e -o test_natural4.exe".
se c -no_gc -debug_check test_natural4.e -o test_natural4.exe
Abnormal exit status of "se c -no_gc -debug_check test_natural4.e -o test_natural4.exe".
se c -no_gc -require_check test_natural4.e -o test_natural4.exe
Abnormal exit status of "se c -no_gc -require_check test_natural4.e -o test_natural4.exe".
se c -no_gc -ensure_check test_natural4.e -o test_natural4.exe
Abnormal exit status of "se c -no_gc -ensure_check test_natural4.e -o test_natural4.exe".
se c -no_gc -invariant_check test_natural4.e -o test_natural4.exe
Abnormal exit status of "se c -no_gc -invariant_check test_natural4.e -o test_natural4.exe".
se c -no_gc -loop_check test_natural4.e -o test_natural4.exe
Abnormal exit status of "se c -no_gc -loop_check test_natural4.e -o test_natural4.exe".
se c -no_gc -all_check test_natural4.e -o test_natural4.exe
Abnormal exit status of "se c -no_gc -all_check test_natural4.e -o test_natural4.exe".
Excluded command: "se c -profile -boost test_natural4.e -o test_natural4.exe".
By excluded.lst:  "se c -profile".
Excluded command: "se c -profile -debug_check test_natural4.e -o test_natural4.exe".
By excluded.lst:  "se c -profile".
Excluded command: "se c -profile -no_check test_natural4.e -o test_natural4.exe".
By excluded.lst:  "se c -profile".
Excluded command: "se c -profile -require_check test_natural4.e -o test_natural4.exe".
By excluded.lst:  "se c -profile".
Excluded command: "se c -profile -ensure_check test_natural4.e -o test_natural4.exe".
By excluded.lst:  "se c -profile".
Excluded command: "se c -profile -invariant_check test_natural4.e -o test_natural4.exe".
By excluded.lst:  "se c -profile".
Excluded command: "se c -profile -loop_check test_natural4.e -o test_natural4.exe".
By excluded.lst:  "se c -profile".
Excluded command: "se c -profile -all_check test_natural4.e -o test_natural4.exe".
By excluded.lst:  "se c -profile".
Excluded command: "se c -profile -no_gc -boost test_natural4.e -o test_natural4.exe".
By excluded.lst:  "se c -profile".
Excluded command: "se c -profile -no_gc -debug_check test_natural4.e -o test_natural4.exe".
By excluded.lst:  "se c -profile".
Excluded command: "se c -profile -no_gc -no_check test_natural4.e -o test_natural4.exe".
By excluded.lst:  "se c -profile".
Excluded command: "se c -profile -no_gc -require_check test_natural4.e -o test_natural4.exe".
By excluded.lst:  "se c -profile".
Excluded command: "se c -profile -no_gc -ensure_check test_natural4.e -o test_natural4.exe".
By excluded.lst:  "se c -profile".
Excluded command: "se c -profile -no_gc -invariant_check test_natural4.e -o test_natural4.exe".
By excluded.lst:  "se c -profile".
Excluded command: "se c -profile -no_gc -loop_check test_natural4.e -o test_natural4.exe".
By excluded.lst:  "se c -profile".
Excluded command: "se c -profile -no_gc -all_check test_natural4.e -o test_natural4.exe".
By excluded.lst:  "se c -profile".
Excluded command: "se c -profile -flat_check -debug_check test_natural4.e -o test_natural4.exe".
By excluded.lst:  "se c -profile".
Excluded command: "se c -profile -flat_check -require_check test_natural4.e -o test_natural4.exe".
By excluded.lst:  "se c -profile".
Excluded command: "se c -profile -flat_check -ensure_check test_natural4.e -o test_natural4.exe".
By excluded.lst:  "se c -profile".
Excluded command: "se c -profile -flat_check -invariant_check test_natural4.e -o test_natural4.exe".
By excluded.lst:  "se c -profile".
Excluded command: "se c -profile -flat_check -loop_check test_natural4.e -o test_natural4.exe".
By excluded.lst:  "se c -profile".
Excluded command: "se c -profile -flat_check -all_check test_natural4.e -o test_natural4.exe".
By excluded.lst:  "se c -profile".
se c -no_split -boost test_natural4.e -o test_natural4.exe
Abnormal exit status of "se c -no_split -boost test_natural4.e -o test_natural4.exe".
se c -no_split -no_gc -boost test_natural4.e -o test_natural4.exe
Abnormal exit status of "se c -no_split -no_gc -boost test_natural4.e -o test_natural4.exe".
se c -boost test_natural5.e -o test_natural5.exe
Running (-boost) "test_natural5.exe".
se clean test_natural5.e
Removing (-boost) "test_natural5.exe".
se c -flat_check -debug_check test_natural5.e -o test_natural5.exe
Running (-flat_check -debug_check) "test_natural5.exe".
se clean test_natural5.e
Removing (-flat_check -debug_check) "test_natural5.exe".
se c -no_check test_natural5.e -o test_natural5.exe
Running (-no_check) "test_natural5.exe".
se clean test_natural5.e
Removing (-no_check) "test_natural5.exe".
se c -flat_check -require_check test_natural5.e -o test_natural5.exe
Running (-flat_check -require_check) "test_natural5.exe".
se clean test_natural5.e
Removing (-flat_check -require_check) "test_natural5.exe".
se c -flat_check -ensure_check test_natural5.e -o test_natural5.exe
Running (-flat_check -ensure_check) "test_natural5.exe".
se clean test_natural5.e
Removing (-flat_check -ensure_check) "test_natural5.exe".
se c -flat_check -invariant_check test_natural5.e -o test_natural5.exe
Running (-flat_check -invariant_check) "test_natural5.exe".
se clean test_natural5.e
Removing (-flat_check -invariant_check) "test_natural5.exe".
se c -flat_check -loop_check test_natural5.e -o test_natural5.exe
Running (-flat_check -loop_check) "test_natural5.exe".
se clean test_natural5.e
Removing (-flat_check -loop_check) "test_natural5.exe".
se c -flat_check -all_check test_natural5.e -o test_natural5.exe
Running (-flat_check -all_check) "test_natural5.exe".
se clean test_natural5.e
Removing (-flat_check -all_check) "test_natural5.exe".
se c -no_gc -boost test_natural5.e -o test_natural5.exe
Running (-no_gc -boost) "test_natural5.exe".
se clean test_natural5.e
Removing (-no_gc -boost) "test_natural5.exe".
se c -no_gc -flat_check -debug_check test_natural5.e -o test_natural5.exe
Running (-no_gc -flat_check -debug_check) "test_natural5.exe".
se clean test_natural5.e
Removing (-no_gc -flat_check -debug_check) "test_natural5.exe".
se c -no_gc -no_check test_natural5.e -o test_natural5.exe
Running (-no_gc -no_check) "test_natural5.exe".
se clean test_natural5.e
Removing (-no_gc -no_check) "test_natural5.exe".
se c -no_gc -flat_check -require_check test_natural5.e -o test_natural5.exe
Running (-no_gc -flat_check -require_check) "test_natural5.exe".
se clean test_natural5.e
Removing (-no_gc -flat_check -require_check) "test_natural5.exe".
se c -no_gc -ensure_check test_natural5.e -o test_natural5.exe
Running (-no_gc -ensure_check) "test_natural5.exe".
se clean test_natural5.e
Removing (-no_gc -ensure_check) "test_natural5.exe".
se c -no_gc -flat_check -invariant_check test_natural5.e -o test_natural5.exe
Running (-no_gc -flat_check -invariant_check) "test_natural5.exe".
se clean test_natural5.e
Removing (-no_gc -flat_check -invariant_check) "test_natural5.exe".
se c -no_gc -flat_check -loop_check test_natural5.e -o test_natural5.exe
Running (-no_gc -flat_check -loop_check) "test_natural5.exe".
se clean test_natural5.e
Removing (-no_gc -flat_check -loop_check) "test_natural5.exe".
se c -no_gc -flat_check -all_check test_natural5.e -o test_natural5.exe
Running (-no_gc -flat_check -all_check) "test_natural5.exe".
se clean test_natural5.e
Removing (-no_gc -flat_check -all_check) "test_natural5.exe".
se c -debug_check test_natural5.e -o test_natural5.exe
Running (-debug_check) "test_natural5.exe".
se clean test_natural5.e
Removing (-debug_check) "test_natural5.exe".
se c -require_check test_natural5.e -o test_natural5.exe
Running (-require_check) "test_natural5.exe".
se clean test_natural5.e
Removing (-require_check) "test_natural5.exe".
se c -ensure_check test_natural5.e -o test_natural5.exe
Running (-ensure_check) "test_natural5.exe".
se clean test_natural5.e
Removing (-ensure_check) "test_natural5.exe".
se c -invariant_check test_natural5.e -o test_natural5.exe
Running (-invariant_check) "test_natural5.exe".
se clean test_natural5.e
Removing (-invariant_check) "test_natural5.exe".
se c -loop_check test_natural5.e -o test_natural5.exe
Running (-loop_check) "test_natural5.exe".
se clean test_natural5.e
Removing (-loop_check) "test_natural5.exe".
se c -all_check test_natural5.e -o test_natural5.exe
Running (-all_check) "test_natural5.exe".
se clean test_natural5.e
Removing (-all_check) "test_natural5.exe".
se c -no_gc -debug_check test_natural5.e -o test_natural5.exe
Running (-no_gc -debug_check) "test_natural5.exe".
se clean test_natural5.e
Removing (-no_gc -debug_check) "test_natural5.exe".
se c -no_gc -require_check test_natural5.e -o test_natural5.exe
Running (-no_gc -require_check) "test_natural5.exe".
se clean test_natural5.e
Removing (-no_gc -require_check) "test_natural5.exe".
se c -no_gc -ensure_check test_natural5.e -o test_natural5.exe
Running (-no_gc -ensure_check) "test_natural5.exe".
se clean test_natural5.e
Removing (-no_gc -ensure_check) "test_natural5.exe".
se c -no_gc -invariant_check test_natural5.e -o test_natural5.exe
Running (-no_gc -invariant_check) "test_natural5.exe".
se clean test_natural5.e
Removing (-no_gc -invariant_check) "test_natural5.exe".
se c -no_gc -loop_check test_natural5.e -o test_natural5.exe
Running (-no_gc -loop_check) "test_natural5.exe".
se clean test_natural5.e
Removing (-no_gc -loop_check) "test_natural5.exe".
se c -no_gc -all_check test_natural5.e -o test_natural5.exe
Running (-no_gc -all_check) "test_natural5.exe".
se clean test_natural5.e
Removing (-no_gc -all_check) "test_natural5.exe".
Excluded command: "se c -profile -boost test_natural5.e -o test_natural5.exe".
By excluded.lst:  "se c -profile".
Excluded command: "se c -profile -debug_check test_natural5.e -o test_natural5.exe".
By excluded.lst:  "se c -profile".
Excluded command: "se c -profile -no_check test_natural5.e -o test_natural5.exe".
By excluded.lst:  "se c -profile".
Excluded command: "se c -profile -require_check test_natural5.e -o test_natural5.exe".
By excluded.lst:  "se c -profile".
Excluded command: "se c -profile -ensure_check test_natural5.e -o test_natural5.exe".
By excluded.lst:  "se c -profile".
Excluded command: "se c -profile -invariant_check test_natural5.e -o test_natural5.exe".
By excluded.lst:  "se c -profile".
Excluded command: "se c -profile -loop_check test_natural5.e -o test_natural5.exe".
By excluded.lst:  "se c -profile".
Excluded command: "se c -profile -all_check test_natural5.e -o test_natural5.exe".
By excluded.lst:  "se c -profile".
Excluded command: "se c -profile -no_gc -boost test_natural5.e -o test_natural5.exe".
By excluded.lst:  "se c -profile".
Excluded command: "se c -profile -no_gc -debug_check test_natural5.e -o test_natural5.exe".
By excluded.lst:  "se c -profile".
Excluded command: "se c -profile -no_gc -no_check test_natural5.e -o test_natural5.exe".
By excluded.lst:  "se c -profile".
Excluded command: "se c -profile -no_gc -require_check test_natural5.e -o test_natural5.exe".
By excluded.lst:  "se c -profile".
Excluded command: "se c -profile -no_gc -ensure_check test_natural5.e -o test_natural5.exe".
By excluded.lst:  "se c -profile".
Excluded command: "se c -profile -no_gc -invariant_check test_natural5.e -o test_natural5.exe".
By excluded.lst:  "se c -profile".
Excluded command: "se c -profile -no_gc -loop_check test_natural5.e -o test_natural5.exe".
By excluded.lst:  "se c -profile".
Excluded command: "se c -profile -no_gc -all_check test_natural…