7 search results for "tag:"testing""

Showing 1 - 7
  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.3
    LGPL-2.1-only
    Used by 0 other packages
    09 Jul 2024
  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.1
    LGPL-2.1-only
    Used by 0 other packages
    09 Jul 2024
  3. llopt
    Documentation
    Just a tiny LLVM-IR optimizer for testing stuff.
    llvm optimization test testing compiler
    Kate <kit.ty.kate@disroot.org>
    1.0.0
    MIT
    Used by 0 other packages
    12 Mar 2018
  4. mutaml
    Documentation
    A mutation tester for OCaml
    test mutation testing
    Jan Midtgaard <mail@janmidtgaard.dk>
    0.3
    BSD-2-Clause
    Used by 1 other packages
    07 Oct 2024
  5. omtl
    Documentation
    An OCaml minimalist testing framework with zero dependencies
    testing test test framework
    Muqiu Han
    0.2
    MIT
    Used by 0 other packages
    14 Mar 2024
  6. qcheck-stm

    No documentation

    State-machine testing library for sequential and parallel model-based tests
    test property qcheck quickcheck state-machine testing model-based testing parallel testing
    Jan Midtgaard Olivier Nicole Nicolas Osborne Samuel Hym
    0.8
    BSD-2-clause
    Used by 9 other packages
    10 Apr 2025
  7. speed
    Documentation
    Speed - go fast by writing test first
    tdd testing unit-testing bdd
    Peter Strøiman
    0.2.0
    MIT
    Used by 0 other packages
    22 May 2024