L

lannotate

Project information

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

380 Commits
9 Branches
8 Tags
7 Releases

README
GNU LGPLv2.1
CHANGELOG

Created on

April 06, 2022

Loading