On Friday 17 August 2007 11:32:39 Andrea Rossato wrote:
Hi,
I'm in part resending amended patches: I added more useful tests. I also started to document XPrompt a bit.
Please forget the previous patches (I'm going to send a message as a reminder).
Andrea
Fri Aug 17 17:54:54 CEST 2007 Andrea Rossato <andrea.rossato@unibz.it> * XPrompt: quickcheck related refactoring With this patch XPrompt can be tested with quickcheck. As a result getLastWord and skipLastWord has been refactored to avoid possible exceptions.
Fri Aug 17 17:56:34 CEST 2007 Andrea Rossato <andrea.rossato@unibz.it> * added a tests directory with quickcheck tests for XPrompt and ShellPrompt
Fri Aug 17 17:57:25 CEST 2007 Andrea Rossato <andrea.rossato@unibz.it> * ShellPrompt: quickcheck related refactoring
Applied, thanks.