5 Search Results
qcheck-alcotest
Alcotest backend for qcheck
0.20
BSD-2-Clause
Used by 58 other packages
qcheck-multicoretests-util
Various utility functions for property-based testing of multicore programs
qcheck-ounit
OUnit backend for qcheck
0.20
BSD-2-Clause
Used by 4 other packages