7 search results for "tag:"testing""
Showing 1 - 7
-
frama-c-lannotate
No documentation
Lannotate plugin of Frama-C, part of the LTest suite0.2.4LGPL-2.1-onlyUsed by 0 other packages10 Jul 2025 -
frama-c-luncov
No documentation
Luncov plugin of Frama-C, part of the LTest suite0.2.4LGPL-2.1-onlyUsed by 0 other packages10 Jul 2025 -
Just a tiny LLVM-IR optimizer for testing stuff.1.0.0MITUsed by 0 other packages12 Mar 2018
-
0.3BSD-2-ClauseUsed by 1 other packages07 Oct 2024
-
0.2MITUsed by 0 other packages14 Mar 2024
-
qcheck-stm
No documentation
State-machine testing library for sequential and parallel model-based tests0.8BSD-2-clauseUsed by 9 other packages10 Apr 2025 -
0.2.0MITUsed by 0 other packages22 May 2024