A documentation for EiffelTest still has to be written. It will appear 
web site as soon as possible. For the meantime, looking at the supplied
examples gives a good overview on how to work with this library.