Skip to content

GitLab

Explore

Sign in

C

CAnnotate

Project information

CAnnotate is a set of tools for adding coverage criteria labels. The project consisted of three projects (1) Connotate (2) side-effect (3) CFormatter

108 Commits
2 Branches
0 Tags

README

Created on

May 18, 2022

Copy SSH clone URLgit@git.frama-c.com:bnongpoh/cannotate.git
Copy HTTPS clone URLhttps://git.frama-c.com/bnongpoh/cannotate.git