/src/wrappers/common/test/eiffeltest/log.ref
Unknown | 938 lines | 938 code | 0 blank | 0 comment | 0 complexity | af7ddcee1c51df75b2c548f20654e15f MD5 | raw file
Possible License(s): GPL-3.0, LGPL-2.1, GPL-2.0
- 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_natural5.e -o test_natural5.exe".
- By excluded.lst: "se c -profile".
- Excluded command: "se c -profile -flat_check -debug_check test_natural5.e -o test_natural5.exe".
- By excluded.lst: "se c -profile".
- Excluded command: "se c -profile -flat_check -require_check test_natural5.e -o test_natural5.exe".
- By excluded.lst: "se c -profile".
- Excluded command: "se c -profile -flat_check -ensure_check test_natural5.e -o test_natural5.exe".
- By excluded.lst: "se c -profile".
- Excluded command: "se c -profile -flat_check -invariant_check test_natural5.e -o test_natural5.exe".
- By excluded.lst: "se c -profile".
- Excluded command: "se c -profile -flat_check -loop_check test_natural5.e -o test_natural5.exe".
- By excluded.lst: "se c -profile".
- Excluded command: "se c -profile -flat_check -all_check test_natural5.e -o test_natural5.exe".
- By excluded.lst: "se c -profile".
- se c -no_split -boost test_natural5.e -o test_natural5.exe
- Running (-no_split -boost) "test_natural5.exe".
- se clean test_natural5.e
- Removing (-no_split -boost) "test_natural5.exe".
- se c -no_split -no_gc -boost test_natural5.e -o test_natural5.exe
- Running (-no_split -no_gc -boost) "test_natural5.exe".
- se clean test_natural5.e
- Removing (-no_split -no_gc -boost) "test_natural5.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.