# \#qcheck **URL:** https://discuss.ocaml.org/tag/qcheck/528.md [Latest](https://discuss.ocaml.org/latest.md) · [Categories](https://discuss.ocaml.org/categories.md) · [Tags](https://discuss.ocaml.org/tags.md) --- ## [\[ANN\] QCheck 0.90: The Great Renaming](https://discuss.ocaml.org/t/ann-qcheck-0-90-the-great-renaming/17613)
**Author:** [@jmid](https://discuss.ocaml.org/u/jmid)\ **Replies:** 4\ **Last updated:** [December 30, 2025, 10:48pm UTC](https://discuss.ocaml.org/t/ann-qcheck-0-90-the-great-renaming/17613 "2025-12-30T22:48:26Z")
It is my pleasure to announce release 0.90 of the QCheck packages. QCheck is an OCaml library for randomized property-based testing in the style of Haskell’s QuickCheck. Release 0.90 · c-cube/qcheck · GitHub It has b… --- ## [Parsing interfaces that use external modules with Gospel](https://discuss.ocaml.org/t/parsing-interfaces-that-use-external-modules-with-gospel/17496)
**Author:** [@bord-o](https://discuss.ocaml.org/u/bord-o)\ **Replies:** 2\ **Last updated:** [November 25, 2025, 3:23am UTC](https://discuss.ocaml.org/t/parsing-interfaces-that-use-external-modules-with-gospel/17496 "2025-11-25T03:23:54Z")
Right now I’m experimenting with a new Ortac plugin, but I’m running into some limitations with gospel. Say I have an interface that needs to expose some code using an external dependency (qcheck generators in this case)… --- ## [\[ANN\] QCheck 0.24](https://discuss.ocaml.org/t/ann-qcheck-0-24/16198)
**Author:** [@jmid](https://discuss.ocaml.org/u/jmid)\ **Replies:** 3\ **Last updated:** [November 3, 2025, 4:08pm UTC](https://discuss.ocaml.org/t/ann-qcheck-0-24/16198 "2025-11-03T16:08:10Z")
I’m happy to announce the 0.24 release of qcheck, qcheck-core, qcheck-alcotest, and qcheck-ounit, along with a 0.6 release of ppx\_deriving\_qcheck :tada: QCheck is a library for randomized property-based testing, inspire… --- ## [\[ANN\] qcheck-lin and qcheck-stm 0.2](https://discuss.ocaml.org/t/ann-qcheck-lin-and-qcheck-stm-0-2/12301)
**Author:** [@jmid](https://discuss.ocaml.org/u/jmid)\ **Replies:** 6\ **Last updated:** [July 29, 2025, 4:57pm UTC](https://discuss.ocaml.org/t/ann-qcheck-lin-and-qcheck-stm-0-2/12301 "2025-07-29T16:57:36Z")
I’m happy to share release 0.2 of qcheck-lin and qcheck-stm for black-box property-based testing. qcheck-lin requires little more than an interface description. It allows to test a library for sequential consistency, … --- ## [\[BLOG\] Using Property-Based Testing to Test OCaml 5](https://discuss.ocaml.org/t/blog-using-property-based-testing-to-test-ocaml-5/14550)
**Author:** [@jmid](https://discuss.ocaml.org/u/jmid)\ **Replies:** 1\ **Last updated:** [December 24, 2024, 8:45am UTC](https://discuss.ocaml.org/t/blog-using-property-based-testing-to-test-ocaml-5/14550 "2024-12-24T08:45:51Z")
Here’s a blog post about how we have been using property-based testing to test OCaml 5: --- ## [\[ANN\] QCheck 0.23](https://discuss.ocaml.org/t/ann-qcheck-0-23/15790)
**Author:** [@jmid](https://discuss.ocaml.org/u/jmid)\ **Replies:** 0\ **Last updated:** [December 13, 2024, 2:40pm UTC](https://discuss.ocaml.org/t/ann-qcheck-0-23/15790 "2024-12-13T14:40:13Z")
I’m happy to announce the 0.23 release of qcheck-core, qcheck, qcheck-alcotest, and qcheck-ounit, along with a 0.5 release of ppx\_deriving\_qcheck :tada: The biggest user-visible change is the addition of a qcheck-core o… --- ## [\[ANN\] QCheck 0.21](https://discuss.ocaml.org/t/ann-qcheck-0-21/12169)
**Author:** [@jmid](https://discuss.ocaml.org/u/jmid)\ **Replies:** 0\ **Last updated:** [May 16, 2023, 11:58am UTC](https://discuss.ocaml.org/t/ann-qcheck-0-21/12169 "2023-05-16T11:58:43Z")
I’m happy to announce the release of QCheck 0.21, a property-based testing library in the style of Haskell’s QuickCheck :tada: More information is available in the QCheck Github repository and in the package documentati… --- ## [Blog post: Testing in Seqes](https://discuss.ocaml.org/t/blog-post-testing-in-seqes/11115)
**Author:** [@raphael-proust](https://discuss.ocaml.org/u/raphael-proust)\ **Replies:** 0\ **Last updated:** [January 5, 2023, 8:02am UTC](https://discuss.ocaml.org/t/blog-post-testing-in-seqes/11115 "2023-01-05T08:02:23Z")
I have written a blog post about the test suite which covers this library. TL;DR: I use GADTs to describe the library API and generate QCheck tests. I manually used mutaml for mutation-testing on the test suite. http… --- ## [\[ANN\] qcheck-lin and qcheck-stm 0.1.0](https://discuss.ocaml.org/t/ann-qcheck-lin-and-qcheck-stm-0-1-0/10933)
**Author:** [@jmid](https://discuss.ocaml.org/u/jmid)\ **Replies:** 4\ **Last updated:** [December 12, 2022, 4:33pm UTC](https://discuss.ocaml.org/t/ann-qcheck-lin-and-qcheck-stm-0-1-0/10933 "2022-12-12T16:33:50Z")
We are happy to announce the release of two new opam packages: qcheck-lin and qcheck-stm for black-box property-based testing of module interfaces under parallel usage. Both these libraries build on top of QCheck - he… --- ## [Testing stack in qcheck](https://discuss.ocaml.org/t/testing-stack-in-qcheck/10129)
**Author:** [@Jazz](https://discuss.ocaml.org/u/Jazz)\ **Replies:** 2\ **Last updated:** [July 5, 2022, 10:30am UTC](https://discuss.ocaml.org/t/testing-stack-in-qcheck/10129 "2022-07-05T10:30:59Z")
Hi, I am exploring qcheck and i am not sure the way i test stack like below is correct or not. Appreciate your suggestion. Thanks. let test\_fun ~name = QCheck2.(Test.make ~name ~count:100 ~print:Print.(list int) Gen.(…