2 Search Results
frama-c-lannotate
Lannotate plugin of Frama-C, part of the LTest suite
software testing Frama-C LTest
Omar Chebaro Mickaël Delahaye Michael Marcozzi Thibault Martin
0.2
LGPL-2.1-only
Used by 0 other packages
frama-c-luncov
Luncov plugin of Frama-C, part of the LTest suite
software testing Frama-C LTest
Robin David Mickaël Delahaye Michael Marcozzi Thibault Martin
0.2
LGPL-2.1-only
Used by 0 other packages