11 search results for "tag:"testing""

Showing 1 - 11
  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
  3. llopt

    No 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
    Added to opam-repository
  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
    Added to opam-repository
  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
    Added to opam-repository
  6. pgn_parser
    Documentation
    PGN (Portable Game Notation) parser for chess games
    chess pgn parser lichess chess.com api testing zobrist board-tracking unfinished-games
    ckaf borisnovoselov602@gmail.com
    1.0.1
    MIT
    Used by 0 other packages
    Added to opam-repository
  7. ppx_windtrap
    Documentation
    PPX and instrumentation backend for windtrap
    testing ppx expect-test coverage
    Thibaut Mattio
    0.1.0
    ISC
    Used by 2 other packages
    Added to opam-repository
  8. qcheck-stm
    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.10
    BSD-2-clause
    Used by 9 other packages
    Added to opam-repository
  9. 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
    Added to opam-repository
  10. testcontainers
    Documentation
    Docker containers for OCaml integration tests
    docker testing integration-testing containers testcontainers
    Sachin Beniwal <sachinbeniwal0101@gmail.com>
    0.1.0
    Apache-2.0
    Used by 10 other packages
    Added to opam-repository
  11. windtrap
    Documentation
    One library for all your OCaml tests
    testing unit-test property-testing expect-test snapshot-testing
    Thibaut Mattio
    0.1.0
    ISC
    Used by 14 other packages
    Added to opam-repository