2 search results for "author:"Omar Chebaro""

frama-c-lannotate
Lannotate plugin of Frama-C, part of the LTest suite
0.2
LGPL-2.1-only
Used by 0 other packages
Last published 26 Aug 2022
lreplay
Executes a test suite and computes test coverage