Re: [libertyeiffel] EiffelTest
- Cyril Adrian
- 2010-07-21 @ 10:42
On Wed, Jul 21, 2010 at 10:31, Christophe HARO <email@example.com>wrote:
> The man page at
http://smarteiffel.loria.fr/wiki/en/index.php/Eiffelteststates that the
command to test a source file is :
> My question is : is it possible to test a single source file located in a
> directory where many source files test_*** are present ?
Not in the version included in Liberty, hence not in SE's trunk I guess. For
more details you should ask the SmartEiffel mailing list.
SmartEiffel (a very reduced version thereof) is included in Liberty only for
bootstrapping. As soon as this purpose is reached SmartEiffel will be
removed and Liberty will fully live its own life.