On Fri, 2005-06-10 at 01:42, Christopher Campbell wrote:

> Are there any QuickCheck like tools for OCaml?  Searched on google, but 
> nothing came up.  There are unit testing libraries like OUnit, but I 
> haven't came across anything like QuickCheck yet.

There's QuickCheck for SML:

http://contrapunctus.net/dist/qcheck/

And even for Erlang

http://www.cs.chalmers.se/~rjmh/ErlangQC/

These would be a good starting point for a port to OCaml.

Fermin


This message has been checked for viruses but the contents of an attachment
may still contain software viruses, which could damage your computer system:
you are advised to perform your own checks. Email communications with the
University of Nottingham may be monitored as permitted by UK legislation.