4 Search Results
frama-c-lannotate
Lannotate plugin of Frama-C, part of the LTest suite
frama-c-luncov
Luncov plugin of Frama-C, part of the LTest suite
lreplay
Executes a test suite and computes test coverage