From: Colin P. A. <co...@co...> - 2005-11-09 15:16:34
|
>>>>> "Eric" == Eric Bezault <er...@go...> writes: Eric> How do we do to run this test then? Should the test be Eric> changed? Or should the postcondition be changed? I've changed the post-condition locally (I think we need Franck to comment on it before I commit). And I'm now running the test again. -- Colin Adams Preston Lancashire |