12 Search Results
broken
The Broken package is a simple testsuite framework.
0.4.2
CeCILL-B
Used by 7 other packages
frama-c-lannotate
Lannotate plugin of Frama-C, part of the LTest suite
frama-c-luncov
Luncov plugin of Frama-C, part of the LTest suite
genet
Genet is tool to build a continuous integration platform.
0.6
GPL-3.0-only
Used by 0 other packages
junit_alcotest
JUnit XML reports generation for alcotest tests
2.0.2
LGPL-3.0-or-later WITH OCaml-LGPL-linking-exception
Used by 9 other packages
llopt
Just a tiny LLVM-IR optimizer for testing stuff.
1.0.0
MIT
Used by 0 other packages
qcheck
Compatibility package for qcheck
0.19.1
BSD-2-Clause
Used by 50 other packages
qcheck-alcotest
Alcotest backend for qcheck
0.19.1
BSD-2-Clause
Used by 52 other packages
qcheck-core
Core qcheck library
0.19.1
BSD-2-Clause
Used by 18 other packages
qcstm
A simple state-machine framework for OCaml based on QCheck
0.1.1
BSD-2-Clause
Used by 0 other packages
testrunner
Simple framework to run tests and create test reports for OCaml libraries.
0.1.0
GPL-3.0-only
Used by 0 other packages