[
Home
]
[ Index:
by date
|
by threads
]
[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
| Date: | 2005-06-11 (14:36) |
| From: | Christian Lindig <lindig@g...> |
| Subject: | Re: [Caml-list] QuickCheck for OCaml? |
Am 10.06.2005 um 02:42 schrieb Christopher Campbell: > Are there any QuickCheck like tools for OCaml? There is some code derived from QuickCheck in my Quest tool which you could use as a starting point. Quest generates C code for testing C compilers and uses QuickCheck-like combinators to control the statistical distribution of the code generated. http://www.st.cs.uni-sb.de/~lindig/src/quest/index.html -- Christian