package alcobar

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

Install

dune-project
 Dependency

Authors

Maintainers

Sources

alcobar-0.3.1.tbz
sha256=576527bcbaed7fe5d7929eee165ac8a7183af9f66ac21092fc9ec2dcdc3e7955
sha512=8b2fdeacef119c001c765c99eb603332a4ad0214e04ca32396935333d6abdd52095a4ec48e86c53c2bd7f8b5872ebbbf5bcea4065c94d5fcf1496897716e0158

doc/CHANGES.html

v0.3.1 (21/04/2026)

Fork of Crowbar, renamed to Alcobar.

  • New upstream: samoht/alcobar (maintainer: Thomas Gazagnaire).
  • Adopt ocamlformat (version 0.29.0).
  • Alcotest-compatible API: test_case and run replace the old add_test interface; property tests run via Alcotest.run_with_args, AFL mode is preserved by detecting a file argument. Examples now build as executables with an explicit runtest rule, so test binaries can be invoked directly with CLI flags.
  • --gen-corpus DIR flag generates seed corpus files from passing test runs, capturing the exact bytes consumed by generators.
  • Per-test timeout (ALCOBAR_TIMEOUT env var, --timeout flag); defaults to 2 seconds. Use --timeout 0 to disable.
  • Per-test time budget (--budget SECONDS); iteration stops when the budget is exhausted. Defaults to 2 seconds. Use --budget 0 to disable.
  • README rewritten for the alcobar fork.
  • GitHub Actions CI on push and pull request.
  • Library sources moved from src/ to lib/.
  • Restructure examples as fuzz runners: each directory has fuzz.ml plus a fuzz_<lib>.ml[i] module exporting a suite value.
  • Require dune >= 3.21 and use %{dune-warnings} for dev flags.

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