package frama-c-lannotate

  1. Overview
  2. Docs
Lannotate plugin of Frama-C, part of the LTest suite

Install 

dune-project
 Dependency

frama-c.com Edit opam file Versions (4)

Authors

  1. O
    Omar Chebaro
  2. M
    Mickaël Delahaye
  3. M
    Michael Marcozzi
  4. T
    Thibault Martin

Maintainers

  1. V
    virgile.prevosto@cea.fr

Sources

lannotate-0.2.3.tar.bz2
md5=93f0b2ec2c39599b70bb4f2d504ab817
sha512=1682fddf70d90db51bf8fbfa688fb6a898f779e720cccc064298665d34dab2960c8b621abf1ee9bdd0117759f4c5a3def8d689edd10549fc7440edaba1730d96

Description

Lannotate is a plugin that introduces labels and hyperlabels formalizing test objectives corresponding to the coverage criteria selected by the user. It is part of LTest, a set of plug-in dedicated to managing test coverage. Other plug-ins in LTest include:

  • Luncov, for detecting polluting (infeasible or redundant) objectives
  • Lreplay, for executing a test suite and computing its coverage status

Tags

software testing Frama-C LTest

Published: 09 Jul 2024

Dependencies (3)

  1. frama-c >= "29.0~" & < "30.0~"
  2. dune >= "3.7" & != "3.13.0"
  3. ocaml >= "4.13.1"

Dev Dependencies (1)

  1. odoc with-doc

Used by

None

Conflicts

None