Version française
Home     About     Download     Resources     Contact us    
Browse thread
QuickCheck for OCaml?
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: Fermin Reig <fermin.reig@c...>
Subject: Re: [Caml-list] QuickCheck for OCaml?
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.