5 Search Results
qcheck-alcotest
Alcotest backend for qcheck
test quickcheck qcheck alcotest
the qcheck contributors
0.20
BSD-2-Clause
Used by 58 other packages
qcheck-lin
A multicore testing library for OCaml
test property qcheck quickcheck parallelism sequential consistency
Jan Midtgaard Olivier Nicole Nicolas Osborne Samuel Hym
0.1
BSD-2-clause
Used by 0 other packages
qcheck-multicoretests-util
Various utility functions for property-based testing of multicore programs
test property qcheck quickcheck multicore non-determinism
Jan Midtgaard Olivier Nicole Nicolas Osborne Samuel Hym
0.1
BSD-2-clause
Used by 2 other packages
qcheck-ounit
OUnit backend for qcheck
qcheck quickcheck ounit
the qcheck contributors
0.20
BSD-2-Clause
Used by 4 other packages
qcheck-stm
State-machine testing library for sequential and parallel model-based tests
test property qcheck quickcheck state-machine testing model-based testing parallel testing
Jan Midtgaard Olivier Nicole Nicolas Osborne Samuel Hym
0.1
BSD-2-clause
Used by 1 other packages