qcheck
Testing library
A QuickCheck-inspired testing library for OCaml that enables property-based testing and random value generation.
QuickCheck inspired property-based testing for OCaml.
354 stars
13 watching
37 forks
Language: OCaml
last commit: almost 2 years agoLinked from 1 awesome list
alcotestmonadic-interfaceocamlounitproperty-based-testingquickcheckrandomrandom-generatortesting
ocaml-community/awesome-ocamlRelated projects:
| Repository | Description | Stars |
|---|---|---|
 anthonylloyd/cscheck | A C# random testing library with generators and shrinkers for property-based testing of .NET code. | 164 |
 quickchick/quickchick | A Coq plugin for property-based testing of software systems | 259 |
| c-cube/ocaml-containers | A modular standard library extension and string library for OCaml | 494 |
 nicoabie/quickcheck | Randomized testing of program properties in Prolog | 22 |
 hcarty/ocaml-testsimple | A simple unit testing framework for OCaml | 13 |
 nick8325/quickcheck | Automated testing of program properties in Haskell programs. | 728 |
 fscheck/fscheck | Automatically tests .NET programs by generating random test cases based on predefined properties | 1,169 |
 thejohnfreeman/autocheck | A C++17 testing library for property-based testing using QuickCheck or SmallCheck. | 125 |
 xavierleroy/cryptokit | A comprehensive C library of cryptographic primitives for building secure protocols in OCaml applications. | 97 |
 rafael-santiago/cutest | A C library for writing unit tests. | 18 |
 yallop/ocaml-ctypes | A library that enables writing C extensions in OCaml without generating or writing C code. | 372 |
 bodigrim/smallcheck | A testing library that checks Haskell code properties exhaustively using automatic test case generation | 134 |
 kakadu/lablqml | A binding for OCaml to interface with QtQuick/Qt | 159 |
 parroty/excheck | A testing library for Elixir programming language | 316 |
 onqtam/rcrl | An interactive C++ compiler and runtime environment for rapid development and live coding | 413 |