2 search results for "tag:"software testing""
Showing 1 - 2
-
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