21 search results for "tag:"test""

Showing 1 - 21
  1. bam
    Documentation
    A property-based testing library with internal shrinking
    test pbt shrinking internal
    François Thiré <bam@saroupille.com>
    0.3
    MIT
    Used by 1 other packages
    28 Oct 2024
  2. bam-ppx
    Documentation
    A PPX deriving generators for OCaml types
    test pbt shrinking internal bam ppx
    François Thiré <bam@saroupille.com>
    0.3
    MIT
    Used by 1 other packages
    28 Oct 2024
  3. broken
    Documentation
    The Broken package is a simple testsuite framework.
    test unit application
    Michael Grünewald
    0.4.2
    CeCILL-B
    Used by 5 other packages
    07 Sep 2015
  4. CamelCase

    No documentation

    A simple OCaml test framework
    tests test unit unit tests
    Christopher Kaster <me@atomicptr.de>
    0.3.0
    MIT
    Used by 0 other packages
    25 Mar 2025
  5. 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
  6. 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
  7. junit_alcotest

    No documentation

    JUnit XML reports generation for alcotest tests
    junit jenkins alcotest
    Louis Roché <louis@louisroche.net>
    2.3.0
    LGPL-3.0-or-later WITH OCaml-LGPL-linking-exception
    Used by 9 other packages
    08 May 2025
  8. 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
  9. 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
  10. 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
  11. qcheck

    No documentation

    Compatibility package for qcheck
    test property quickcheck
    the qcheck contributors
    0.25
    BSD-2-Clause
    Used by 61 other packages
    07 Apr 2025
  12. qcheck-alcotest

    No documentation

    Alcotest backend for qcheck
    test quickcheck qcheck alcotest
    the qcheck contributors
    0.25
    BSD-2-Clause
    Used by 74 other packages
    07 Apr 2025
  13. qcheck-core

    No documentation

    Core qcheck library
    test property quickcheck
    the qcheck contributors
    0.25
    BSD-2-Clause
    Used by 41 other packages
    07 Apr 2025
  14. qcheck-lin

    No documentation

    A multicore testing library for OCaml
    test property qcheck quickcheck parallelism sequential consistency
    Jan Midtgaard Olivier Nicole Nicolas Osborne Samuel Hym
    0.8
    BSD-2-clause
    Used by 0 other packages
    10 Apr 2025
  15. qcheck-multicoretests-util

    No documentation

    Various utility functions for property-based testing of multicore programs
    test property qcheck quickcheck multicore non-determinism
    Jan Midtgaard Olivier Nicole Nicolas Osborne Samuel Hym
    0.8
    BSD-2-clause
    Used by 8 other packages
    10 Apr 2025
  16. 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
  17. qcstm
    Documentation
    A simple state-machine framework for OCaml based on QCheck
    state machine test property quickcheck
    Jan Midtgaard
    0.1.1
    BSD-2-Clause
    Used by 0 other packages
    24 Jun 2019
  18. qtest
    Documentation
    Lightweight inline test extraction from comments
    test property quickcheck
    Vincent Hugot <vincent.hugot@gmail.com> Simon Cruanes <simon.cruanes.2007@m4x.org
    2.11.2
    Used by 20 other packages
    12 Feb 2021
  19. 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
  20. tezt-bam
    Documentation
    A plugin of [bam] for Tezt
    test tezt pbt shrinking internal bam
    François Thiré <bam@saroupille.com>
    0.3
    MIT
    Used by 0 other packages
    28 Oct 2024
  21. zanuda
    Documentation
    Linter for OCaml+dune projects
    lint test
    Kakadu
    1.1.0
    LGPL-3.0-only
    Used by 0 other packages
    26 Feb 2025