lreplayversion
Executes a test suite and computes test coverage
Lreplay is part of the LTest suite, which includes tools to manage test objectives, expressed as labels and hyperlabels. lreplay runs a given test suite and computes the corresponding coverage according the labels and hyperlabels defined in its input files. The other LTest tools are Frama-C plugins including:
- Lannotate, for generating (hyper)labels according to various criteria
- Luncov, for identifying uncoverable and/or redundant (hyper)labels
| Authors | Mickaël Delahaye, Omar Chebaro, Nikolai Kosmatov, Sébastien Bardin, Michaël Marcozzi and Thibault Martin |
|---|---|
| License | LGPL-2.1-only |
| Published | |
| Homepage | git+https://git.frama-c.com/pub/ltest/lreplay |
| Issue Tracker | git+https://git.frama-c.com/pub/ltest/lreplay/-/issues |
| Maintainer | virgile.prevosto@cea.fr |
| Dependencies | |
| Source [http] | https://git.frama-c.com/pub/ltest/lreplay/-/archive/0.1.1/lreplay-0.1.1.tar.bz2 md5=df91c0ab9782af2cedba4126ade602c6 sha512=2c8ee3d8c9ea4fc57a6ad25a6ddc2eb6ba000c6c94c1c9f75ea4b6494dd2822665ff7a871a372d6bcf462cbab4af46ef0d6b8dd5b295c538c1c53e845a98fbcb |
| Edit | https://github.com/ocaml/opam-repository/tree/master/packages/lreplay/lreplay.0.1.1/opam |
No package is dependent
