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

Showing 1 - 2
  1. frama-c-lannotate
    Documentation
    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.5
    LGPL-2.1-only
    Used by 0 other packages
    Added to opam-repository
  2. lreplay
    Documentation
    Executes a test suite and computes test coverage
    Mickaël Delahaye Omar Chebaro Nikolai Kosmatov Sébastien Bardin Michaël Marcozzi et al.
    0.1.1
    LGPL-2.1-only
    Used by 0 other packages
    Added to opam-repository