package frama-c-lannotate

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