package frama-c-lannotate
- Overview
- No Docs
You can search for identifiers within the package.
in-package search v0.2.0
On This Page
Lannotate plugin of Frama-C, part of the LTest suite
Install
dune-project
Dependency
Authors
Maintainers
Sources
lannotate-0.2.5.tar.bz2
md5=bbea9beadbc380fb464c478fca022d80
sha512=fc4a748987dc76cb3113d83ab1158fbc07caaf9c1844383d8caeef81646a98cdbf8c4cbeec1029d717870648bd33ba1045dffb5c7b087734de4cf3be9bfed44f
Description
Lannotate is a plugin that introduces labels and hyperlabels formalizing test objectives corresponding to the coverage criteria selected by the user. It is part of LTest, a set of plug-in dedicated to managing test coverage. Other plug-ins in LTest include:
- Luncov, for detecting polluting (infeasible or redundant) objectives
- Lreplay, for executing a test suite and computing its coverage status
On This Page