- No Docs
You can search for identifiers within the package.
in-package search v0.2.0
Package 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