anchor.diff:  = QCheck
  +:toc: macro
  +:toclevels: 4
  +:source-highlighter: pygments
   
   QuickCheck inspired property-based testing for OCaml, and combinators to
   generate random values to run tests on.
  
positive.code: == License
  
  The code is now released under the LGPL license.
  
negative.code: 
  The documentation can be found https://c-cube.github.io/qcheck/[here].
  
  Note that @gasche's
  http://gasche.github.io/random-generator/doc/Generator.html[generator library]
  can be useful too, for generating random values.
  
  == Use
  
  See the documentation. I also wrote
  (http://cedeela.fr/quickcheck-for-ocaml.html[a blog post] that explains
  how to use it and some design choices; however, be warned that the API
  changed in lots of small ways (in the right direction, I hope) so the code
  will not work any more.
  <<Below:examples>> is an updated version of most of the blog post's examples.
  
  == Build
  
  