Eiffeltest

This page specifies a tool that has not been written yet.

eiffeltest is a tool that runs a suite of tests to validate the compiler

Synopsis

• eiffeltest directory

• eiffeltest source_file.e [source_file2.e...]

File handling

The tools recursively iterates over the directory given as a command-line parameter, looking for test files, in other words Eiffel source files with special names:

• test_*.e: valid source file that should be compilable and runnable without causing an error
• bad_*.e: invalid source file that should trigger a given compiler error message

For each test file, there can be optional files that have the same name but a different extension. These optional files can be used to provide:

• input data to be fed to the program. This optional file has the file name extension .in
• output that the program is expected to provide when run. This optional file has the file name extension .out

Open issues

How can we use .in and .out files on platforms that do not allow redirecting the standard input and output of programs?

Easy: just finish the "exec" cluster ;-) --Cyril 08:16, 10 nov 2005 (CET)