5 search results for "tag:"qcheck""
Showing 1 - 5
-
qcheck-alcotest
No documentation
0.25BSD-2-ClauseUsed by 74 other packages07 Apr 2025 -
qcheck-lin
No documentation
A multicore testing library for OCaml0.8BSD-2-clauseUsed by 0 other packages10 Apr 2025 -
qcheck-multicoretests-util
No documentation
Various utility functions for property-based testing of multicore programs0.8BSD-2-clauseUsed by 8 other packages10 Apr 2025 -
qcheck-ounit
No documentation
0.25BSD-2-ClauseUsed by 4 other packages07 Apr 2025 -
qcheck-stm
No documentation
State-machine testing library for sequential and parallel model-based tests0.8BSD-2-clauseUsed by 9 other packages10 Apr 2025