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
7 Branches
5 Tags
5 Releases

README
GNU LGPLv2.1

Created on

April 06, 2022

Loading