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é
    0.2
    MIT
    Used by 1 other packages
    16 May 2024
  2. bam-ppx
    Documentation
    A PPX deriving generators for OCaml types
    test pbt shrinking internal bam ppx
    François Thiré
    0.2
    MIT
    Used by 1 other packages
    16 May 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 7 other packages
    07 Sep 2015
  4. frama-c-lannotate

    No 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
    LGPL-2.1-only
    Used by 0 other packages
    26 Aug 2022
  5. frama-c-luncov

    No 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
    LGPL-2.1-only
    Used by 0 other packages
    26 Aug 2022
  6. genet

    No documentation

    Genet is tool to build a continuous integration platform.
    continuous integration test execution chains rdf sparql
    Maxence Guesdon
    0.6
    GPL-3.0-only
    Used by 0 other packages
    21 Jan 2014
  7. junit_alcotest
    Documentation
    JUnit XML reports generation for alcotest tests
    junit jenkins alcotest
    Louis Roché <louis@louisroche.net>
    2.0.2
    LGPL-3.0-or-later WITH OCaml-LGPL-linking-exception
    Used by 9 other packages
    13 Feb 2020
  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.1.0
    BSD-2-Clause
    Used by 0 other packages
    17 Jul 2023
  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
    Documentation
    Compatibility package for qcheck
    test property quickcheck
    the qcheck contributors
    0.21.3
    BSD-2-Clause
    Used by 61 other packages
    06 Dec 2023
  12. qcheck-alcotest
    Documentation
    Alcotest backend for qcheck
    test quickcheck qcheck alcotest
    the qcheck contributors
    0.21.3
    BSD-2-Clause
    Used by 78 other packages
    06 Dec 2023
  13. qcheck-core
    Documentation
    Core qcheck library
    test property quickcheck
    the qcheck contributors
    0.21.3
    BSD-2-Clause
    Used by 36 other packages
    06 Dec 2023
  14. qcheck-lin
    Documentation
    A multicore testing library for OCaml
    test property qcheck quickcheck parallelism sequential consistency
    Jan Midtgaard Olivier Nicole Nicolas Osborne Samuel Hym
    0.3
    BSD-2-clause
    Used by 0 other packages
    11 Oct 2023
  15. qcheck-multicoretests-util
    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.3
    BSD-2-clause
    Used by 5 other packages
    11 Oct 2023
  16. 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.3
    BSD-2-clause
    Used by 8 other packages
    11 Oct 2023
  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 22 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. testrunner

    No documentation

    Simple framework to run tests and create test reports for OCaml libraries.
    test continuous integration
    Maxence Guesdon
    0.1.0
    GPL-3.0-only
    Used by 0 other packages
    10 Apr 2017
  21. tezt-bam
    Documentation
    A plugin of [bam] for Tezt
    test tezt pbt shrinking internal bam
    François Thiré
    0.2
    MIT
    Used by 0 other packages
    16 May 2024