Skip to content

GitLab

Explore

Sign in

L

luncov

Project information

LUncov Frama-C plugin that identifies test objectives, expressed as (hyper)labels, that are uncoverable or redundant, in order to obtain more meaningful coverage measures.

306 Commits
5 Branches
4 Tags
4 Releases

README
GNU LGPLv2.1

Created on

April 06, 2022

Loading