15 Search Results
broken
The Broken package is a simple testsuite framework.
test unit application
Michael Grünewald
0.4.2
CeCILL-B
Used by 7 other packages
frama-c-lannotate
Lannotate plugin of Frama-C, part of the LTest suite
software testing Frama-C LTest
Omar Chebaro Mickaël Delahaye Michael Marcozzi Thibault Martin
0.2
LGPL-2.1-only
Used by 0 other packages
frama-c-luncov
Luncov plugin of Frama-C, part of the LTest suite
software testing Frama-C LTest
Robin David Mickaël Delahaye Michael Marcozzi Thibault Martin
0.2
LGPL-2.1-only
Used by 0 other packages
genet
Genet is tool to build a continuous integration platform.
continuous integration test execution chains rdf sparql
Maxence Guesdon
0.6
GPL-3.0-only
Used by 0 other packages
junit_alcotest
JUnit XML reports generation for alcotest tests
junit jenkins alcotest
Louis Roché <louis@louisroche.net>
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.
llvm optimization test testing compiler
Kate <kit.ty.kate@disroot.org>
1.0.0
MIT
Used by 0 other packages
qcheck
Compatibility package for qcheck
test property quickcheck
the qcheck contributors
0.20
BSD-2-Clause
Used by 54 other packages
qcheck-alcotest
Alcotest backend for qcheck
test quickcheck qcheck alcotest
the qcheck contributors
0.20
BSD-2-Clause
Used by 58 other packages
qcheck-core
Core qcheck library
test property quickcheck
the qcheck contributors
0.20
BSD-2-Clause
Used by 22 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-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 0 other packages
qcstm
A simple state-machine framework for OCaml based on QCheck
state machine test property quickcheck
Jan Midtgaard
0.1.1
BSD-2-Clause
Used by 0 other packages
qtest
Lightweight inline test extraction from comments
test property quickcheck
Vincent Hugot <vincent.hugot@gmail.com> Simon Cruanes <simon.cruanes.2007@m4x.org
2.11.2
Used by 22 other packages
testrunner
Simple framework to run tests and create test reports for OCaml libraries.
test continuous integration
Maxence Guesdon
0.1.0
GPL-3.0-only
Used by 0 other packages