13 search results for "tag:"check""
Showing 1 - 13
-
The Dolmen library for verifying models generated by automated theorem provers and SMT solvers0.10BSD-2-ClauseUsed by 1 other packages24 Jun 2024
-
The Dolmen library for typechecking languages0.10BSD-2-ClauseUsed by 3 other packages24 Jun 2024
-
This package contains the Frama-C's E-ACSL plug-in.0.5LGPL-2.1-onlyUsed by 0 other packages28 Jul 2015
-
Simple tool performing checks on installed findlib META files0.1.0New BSD LicenseUsed by 0 other packages05 Mar 2015
-
0.22BSD-2-ClauseUsed by 62 other packages09 Jul 2024
-
0.22BSD-2-ClauseUsed by 81 other packages09 Jul 2024
-
0.22BSD-2-ClauseUsed by 37 other packages09 Jul 2024
-
A multicore testing library for OCaml0.3BSD-2-clauseUsed by 0 other packages11 Oct 2023
-
Various utility functions for property-based testing of multicore programs0.3BSD-2-clauseUsed by 5 other packages11 Oct 2023
-
0.22BSD-2-ClauseUsed by 4 other packages09 Jul 2024
-
State-machine testing library for sequential and parallel model-based tests0.3BSD-2-clauseUsed by 8 other packages11 Oct 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