Skip to content

GitLab

Explore

Sign in

L

lannotate

Project information

LAnnotate Frama-C plugin for annotating source code with (hyper)labels corresponding to various test coverage criteria

380 Commits
7 Branches
6 Tags
5 Releases

README
GNU LGPLv2.1

Created on

April 06, 2022

Loading