luncov

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.