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.