17 search results for "tag:"test""
-
0.4.2CeCILL-BUsed by 7 other packages07 Sep 2015
-
Lannotate plugin of Frama-C, part of the LTest suite0.2LGPL-2.1-onlyUsed by 0 other packages26 Aug 2022
-
Luncov plugin of Frama-C, part of the LTest suite0.2LGPL-2.1-onlyUsed by 0 other packages26 Aug 2022
-
Genet is tool to build a continuous integration platform.0.6GPL-3.0-onlyUsed by 0 other packages21 Jan 2014
-
JUnit XML reports generation for alcotest tests2.0.2LGPL-3.0-or-later WITH OCaml-LGPL-linking-exceptionUsed by 9 other packages13 Feb 2020
-
Just a tiny LLVM-IR optimizer for testing stuff.1.0.0MITUsed by 0 other packages12 Mar 2018
-
0.1.0BSD-2-ClauseUsed by 0 other packages17 Jul 2023
-
0.1MITUsed by 0 other packages20 Feb 2023
-
0.21.2BSD-2-ClauseUsed by 57 other packages29 Aug 2023
-
0.21.2BSD-2-ClauseUsed by 68 other packages29 Aug 2023
-
0.21.2BSD-2-ClauseUsed by 29 other packages29 Aug 2023
-
A multicore testing library for OCaml0.2BSD-2-clauseUsed by 0 other packages02 Jun 2023
-
Various utility functions for property-based testing of multicore programs0.2BSD-2-clauseUsed by 3 other packages02 Jun 2023
-
State-machine testing library for sequential and parallel model-based tests0.2BSD-2-clauseUsed by 4 other packages02 Jun 2023
-
A simple state-machine framework for OCaml based on QCheck0.1.1BSD-2-ClauseUsed by 0 other packages24 Jun 2019
-
Lightweight inline test extraction from comments2.11.2Used by 22 other packages12 Feb 2021
-
Simple framework to run tests and create test reports for OCaml libraries.0.1.0GPL-3.0-onlyUsed by 0 other packages10 Apr 2017