Skip to content
Snippets Groups Projects
L

ltest

  • L

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

  • L

    launch a test suite over some code annotated with (hyper)labels and computes corresponding coverage metrics

  • L

    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.