man getest (Commandes) - Gobo Eiffel test utility
NAME
getest - Gobo Eiffel test utility
SYNOPSIS
getest config_file
DESCRIPTION
getest is a utility for exercising the assertions of Eiffel classes.
OPTIONS
The programs follow the usual GNU command line syntax, with long options starting with two dashes (`-'). A summary of options are included below. For a complete description, see the HTML pages.
- -h
- -?
- --help
- Print a summary of the command-line options of getest and exit.
- -V
- --version Print the version number of getest and exit.
- --hact
- Run getest with the configuration file getest.hact if it exists. This configuration file is supposed to contain instructions to run the test with the Halstenbach Eiffel compiler. Also the default value for the compile field of the configuration file is set to "geant compile_hact".
- --ise
- Run getest with the configuration file getest.ise if it exists. This configuration file is supposed to contain instructions to run the test with the ISE Eiffel compiler. Also the default value for the compile field of the configuration file is set to "geant compile_ise".
- --se
- Run getest with the configuration file getest.se if it exists. This configuration file is supposed to contain instructions to run the test with the SmallEiffel compiler. Also the default value for the compile field of the configuration file is set to "geant compile_se".
- --ve
- Run getest with the configuration file getest.ve if it exists. This configuration file is supposed to contain instructions to run the test with the Visual Eiffel compiler. Also the default value for the compile field of the configuration file is set to "geant compile_ve".
- -A
- Do not catch exceptions, but let Eiffel run-time generate a stack dump.
- -C command
- --compile= command
- Override the compile field of the configuration file.
- -D name[=value]
- --define= name[=value]
- Define variable name and set it to value if specified. This option may appear several times on the command-line to define different variables. By default these variables are passed to the command running the test cases.
- -g
- Testcase generation only. Do not compile nor run the generated test.
- -c
- Testcase compilation only. Do not generate nor run the test.
- -e
- Testcase execution only. Do not generate nor compile the test.
SEE ALSO
GOBO and its programs are documented fully by HTML pages in gobo-doc package.
AUTHOR
This man page was written by Julien LEMOINE <speedblue@debian.org> for the Debian package of Gobo.