package alcobar

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Fail a property whose guard rejected every generated input, instead of reporting a pass (#1, @samoht)
Report which tests --gen-corpus came up short on, and fail when no test could be seeded at all, instead of printing a count that reads like a complete corpus (@samoht)
Take the calendar example out of dune runtest: the property it demonstrates finds a genuine bug in calendar, which about half of all seeds hit, so the release failed opam CI on the compilers whose default seed found it (@samoht)
Run CI on 4.08 and 4.14 as well as 5.4 (@samoht)

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.

Build and compatibility fixes.

New generators, printers and port to dune.

Initial release