package alcobar

  1. Overview
  2. Docs
Write tests, let a fuzzer find failing cases

Install 

dune-project
 Dependency

github.com Readme Changelog MIT License Edit opam file Versions (1)

Authors

  1. S
    Stephen Dolan <stephen.dolan@cl.cam.ac.uk>

Maintainers

  1. T
    Thomas Gazagnaire <thomas@gazagnaire.org>

Sources

alcobar-0.3.tbz
sha256=de27258a56db63f690a3bb8edbc8215ce85acfdac8ab1be44f172d2314f0177c
sha512=9ee5749483379cabececa99d53a54f1d3987d80490ad81266c9eb5d133f8d8b4bf6a59db79363b7bd5a5d0aa77345e628530c8b57e0482739eeda63ee0b1d4e6

doc/CHANGES.html

v0.3 (unreleased)

Fork of Crowbar, renamed to Alcobar.

  • Alcotest-compatible API: test_case, run, and suite exports replace the old add_test/run_test interface.
  • --gen-corpus DIR flag to generate seed corpus files from passing test runs, removing the need for a separate gen_corpus.ml.
  • Per-test timeout (ALCOBAR_TIMEOUT env var, --timeout flag).
  • Per-test time budget (--budget flag).
  • GitHub Actions CI.

v0.2.1 (04 March 2022)

Build and compatibility fixes.

v0.2 (04 May 2020)

New generators, printers and port to dune.

v0.1 (01 February 2018)

Initial release