QuickCheck with shrinking for free
-
Updated
Feb 8, 2021 - OCaml
QuickCheck with shrinking for free
A model-based QuickCheck test of ptrees (Patricia trees)
A stack-driven generator of arbitrary WebAssembly programs
A library for quickchecking lattice modules and associated operations
Tool to generate test-cases for regular expression engines
Effect-Driven Compiler Tester for OCaml
A simple state-machine framework for OCaml based on QCheck
PBT testsuite and libraries for testing multicore OCaml
QuickCheck inspired property-based testing for OCaml.
Add a description, image, and links to the quickcheck topic page so that developers can more easily learn about it.
To associate your repository with the quickcheck topic, visit your repo's landing page and select "manage topics."