this repo has no description
anil.recoil.org
1# This file is generated by dune, edit dune-project instead
2depends: [
3 "ocaml" {>= "4.13.1"}
4 "dune" {>= "3.7" & != "3.13.0"}
5 "frama-c" {>= "29.0~" & < "30.0~"}
6 "odoc" {with-doc}
7]
8build: [
9 ["dune" "subst"] {dev}
10 [
11 "dune"
12 "build"
13 "-p"
14 name
15 "-j"
16 jobs
17 "--promote-install-files=false"
18 "@install"
19 "@runtest" {with-test}
20 "@doc" {with-doc}
21 ]
22 ["dune" "install" "-p" name "--create-install-files" name]
23]
24opam-version: "2.0"
25synopsis: "Lannotate plugin of Frama-C, part of the LTest suite "
26description:"""
27Lannotate is a plugin that introduces labels and hyperlabels formalizing
28test objectives corresponding to the coverage criteria selected by the user.
29It is part of LTest, a set of plug-in dedicated to managing test coverage.
30Other plug-ins in LTest include:
31- Luncov, for detecting polluting (infeasible or redundant) objectives
32- Lreplay, for executing a test suite and computing its coverage status
33"""
34maintainer: "virgile.prevosto@cea.fr"
35authors: [
36 "Omar Chebaro"
37 "Mickaël Delahaye"
38 "Michael Marcozzi"
39 "Thibault Martin"
40]
41homepage: "https://frama-c.com/"
42license: "LGPL-2.1-only"
43dev-repo: "git+https://git.frama-c.com/pub/ltest/lannotate.git"
44bug-reports: "git+https://git.frama-c.com/pub/ltest/lannotate/-/issues"
45tags: [
46 "software testing"
47 "Frama-C"
48 "LTest"
49]
50url {
51 src:
52 "https://git.frama-c.com/pub/ltest/lannotate/-/archive/0.2.3/lannotate-0.2.3.tar.bz2"
53 checksum: [
54 "md5=93f0b2ec2c39599b70bb4f2d504ab817"
55 "sha512=1682fddf70d90db51bf8fbfa688fb6a898f779e720cccc064298665d34dab2960c8b621abf1ee9bdd0117759f4c5a3def8d689edd10549fc7440edaba1730d96"
56 ]
57}