Explore GitLab
Discover projects, groups and snippets. Share your projects with others
-
-
-
-
-
CAnnotate is a set of tools for adding coverage criteria labels. The project consisted of three projects (1) Connotate (2) side-effect (3) CFormatter
-
-
-
-
MetAcsl public repository
-
LAnnotate Frama-C plugin for annotating source code with (hyper)labels corresponding to various test coverage criteria
-
-
-
Modelisation of base 2 floating points with arbitrary exponent and mantisse size. Extraction of the Flocq library.
-
-
launch a test suite over some code annotated with (hyper)labels and computes corresponding coverage metrics
-
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.
-
-
-
There are many advantages of refillable Delta-8 THC cartridges, and they don't have to break the bank. These are high-quality products, available in different sizes and strains, and are manufactured following strict federal and state guidelines.
-
