librelist archives

« back to archive

EiffelTest

EiffelTest

From:
Christophe Haro
Date:
2010-07-21 @ 08:31
Hi all,

The man page at http://smarteiffel.loria.fr/wiki/en/index.php/Eiffeltest 
states that the command to test a source file is :

     se test source_file.e [source_file2.e...] 

But the only command that seems to work is :

     se test directory
or
     eiffeltest directory

directory is the directory where are located source files test_*** to test.

My question is : is it possible to test a single source file located in a 
directory where many source files test_*** are present ?


Thanks,

 
-- 
Christophe HARO
Christophe.HARO@free.fr
----------------------------

Re: [libertyeiffel] EiffelTest

From:
Cyril Adrian
Date:
2010-07-21 @ 10:42
Hi Christophe,

On Wed, Jul 21, 2010 at 10:31, Christophe HARO <christophe.haro@free.fr>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.

Cheers,
-- 
Cyril *ADRIAN*

http://www.cadrian.net/cyril