Skip to content
L

lannotate

Project ID: 1061

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