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
4 Branches
3 Tags
3 Releases

README
GNU LGPLv2.1

Created on

April 06, 2022

Copy SSH clone URLgit@git.frama-c.com:pub/ltest/luncov.git
Copy HTTPS clone URLhttps://git.frama-c.com/pub/ltest/luncov.git