9 search results for "tag:"quickcheck""
Showing 1 - 9
-
0.22BSD-2-ClauseUsed by 64 other packages09 Jul 2024
-
0.22BSD-2-ClauseUsed by 82 other packages09 Jul 2024
-
0.22BSD-2-ClauseUsed by 39 other packages09 Jul 2024
-
A multicore testing library for OCaml0.4BSD-2-clauseUsed by 0 other packages17 Sep 2024
-
Various utility functions for property-based testing of multicore programs0.4BSD-2-clauseUsed by 7 other packages17 Sep 2024
-
0.22BSD-2-ClauseUsed by 4 other packages09 Jul 2024
-
State-machine testing library for sequential and parallel model-based tests0.4BSD-2-clauseUsed by 9 other packages17 Sep 2024
-
A simple state-machine framework for OCaml based on QCheck0.1.1BSD-2-ClauseUsed by 0 other packages24 Jun 2019
-
Lightweight inline test extraction from comments2.11.2Used by 22 other packages12 Feb 2021