package frama-c-luncov

Luncov is a plugin that attempts to identify unreachable and/or redundant tests objectives, represented in the code by labels and hyperlabels, as defined in the LTest family of Frama-C plug-ins. Other plug-ins in LTest include:

• Lannotate, for introducing (hyper)labels according to various criteria
• Lreplay, for executing a test suite and computing its coverage status