more automatic tests for containers

Henning Thielemann lemming at
Mon Jan 9 11:32:00 CET 2012

On Mon, 9 Jan 2012, Jean-Philippe Bernardy wrote:

> Isn't a unit test just a property with 0 free variable?
> If so, equality statements can always be handled by Quick/SmallCheck.

In principle yes, but it is tested 100 times. :-)

More information about the Libraries mailing list