17 search results for "tag:"test""

  1. 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
  2. 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
    LGPL-2.1-only
    Used by 0 other packages
    26 Aug 2022
  3. 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
    LGPL-2.1-only
    Used by 0 other packages
    26 Aug 2022
  4. genet
    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
  5. 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
  6. 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
  7. 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
  8. omtl
    Documentation
    OCaml Minimalist Testing Library
    testing test framework
    Muqiu Han
    0.1
    MIT
    Used by 0 other packages
    20 Feb 2023
  9. qcheck
    Documentation
    Compatibility package for qcheck
    test property quickcheck
    the qcheck contributors
    0.21.2
    BSD-2-Clause
    Used by 57 other packages
    29 Aug 2023
  10. qcheck-alcotest
    Documentation
    Alcotest backend for qcheck
    test quickcheck qcheck alcotest
    the qcheck contributors
    0.21.2
    BSD-2-Clause
    Used by 68 other packages
    29 Aug 2023
  11. qcheck-core
    Documentation
    Core qcheck library
    test property quickcheck
    the qcheck contributors
    0.21.2
    BSD-2-Clause
    Used by 29 other packages
    29 Aug 2023
  12. 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.2
    BSD-2-clause
    Used by 0 other packages
    02 Jun 2023
  13. 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.2
    BSD-2-clause
    Used by 3 other packages
    02 Jun 2023
  14. 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.2
    BSD-2-clause
    Used by 4 other packages
    02 Jun 2023
  15. 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
  16. 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
  17. testrunner
    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