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 "menhir" {build}
6 "frama-c" {>= "29.0~" & < "30.0~"}
7 "odoc" {with-doc}
8]
9build: [
10 ["dune" "subst"] {dev}
11 [
12 "dune"
13 "build"
14 "-p"
15 name
16 "-j"
17 jobs
18 "--promote-install-files=false"
19 "@install"
20 "@runtest" {with-test}
21 "@doc" {with-doc}
22 ]
23 ["dune" "install" "-p" name "--create-install-files" name]
24]
25opam-version: "2.0"
26synopsis: "Luncov plugin of Frama-C, part of the LTest suite"
27description:"""
28Luncov is a plugin that attempts to identify unreachable and/or redundant
29tests objectives, represented in the code by labels and hyperlabels, as
30defined in the LTest family of Frama-C plug-ins.
31Other plug-ins in LTest include:
32- Lannotate, for introducing (hyper)labels according to various criteria
33- Lreplay, for executing a test suite and computing its coverage status
34"""
35maintainer: "virgile.prevosto@cea.fr"
36authors: [
37 "Robin David"
38 "Mickaël Delahaye"
39 "Michael Marcozzi"
40 "Thibault Martin"
41]
42homepage: "https://frama-c.com/"
43license: "LGPL-2.1-only"
44dev-repo: "git+https://git.frama-c.com/pub/ltest/luncov.git"
45bug-reports: "git+https://git.frama-c.com/pub/ltest/luncov/-/issues"
46tags: [
47 "software testing"
48 "Frama-C"
49 "LTest"
50]
51url {
52 src:
53 "https://git.frama-c.com/pub/ltest/luncov/-/archive/0.2.1/luncov-0.2.1.tar.bz2"
54 checksum: [
55 "md5=6c17a9c992ec04d6f9f2c6a7c97b0e71"
56 "sha512=243b617a27360379c80447e4e22b9393c966584ddfe245863f906ea876c31d492605ed2d47ecaabf17f81721c75face267fe3ef3dbf1fbc623177b3912fb6705"
57 ]
58}