19 search results for "tag:"test""

Showing 1 - 19
  1. bam
    Documentation
    A property-based testing library with internal shrinking
    test pbt shrinking internal
    François Thiré
    0.1
    MIT
    Used by 1 other packages
    19 Feb 2024
  2. 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
  3. 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
  4. 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
  5. 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
  6. 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
  7. 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
  8. 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
  9. 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
  10. qcheck
    Documentation
    Compatibility package for qcheck
    test property quickcheck
    the qcheck contributors
    0.21.3
    BSD-2-Clause
    Used by 60 other packages
    06 Dec 2023
  11. 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
  12. qcheck-core
    Documentation
    Core qcheck library
    test property quickcheck
    the qcheck contributors
    0.21.3
    BSD-2-Clause
    Used by 35 other packages
    06 Dec 2023
  13. 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
  14. 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
  15. 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
  16. 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
  17. 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
  18. 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
  19. tezt-bam
    Documentation
    A plugin of [bam] for Tezt
    test tezt pbt shrinking internal bam
    François Thiré
    0.1
    MIT
    Used by 0 other packages
    19 Feb 2024