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