2 search results for "tag:"Frama-C""

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.6
    LGPL-2.1-only
    Used by 0 other packages
    Added to opam-repository
  2. frama-c-luncov
    Documentation
    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.6
    LGPL-2.1-only
    Used by 0 other packages
    Added to opam-repository