fuzz · ocaml-merge-queue · Tangled

gazagnaire.org / ocaml-merge-queue

A local Git merge queue with content-bound gate verdicts

ocaml-merge-queue fuzz

1 folder · 14 files

Thomas Gazagnaire · builder, merge-queue: the per-case rules are Dune_cases' · 1d ago

merge-queue/fuzz: one dune action per property

builder, merge-queue: the per-case rules are Dune_cases'

fuzz_build_config.ml

merge-queue: key a verdict by the tree, the check and the platform

fuzz_build_config.mli

merge-queue: a result's toolchain is the content of what the check's PATH resolves

fuzz_check_run.ml

merge-queue: a check run records the failures its log names

fuzz_check_run.mli

merge-queue/test: properties and a seeded simulation of the land

fuzz_confinement.ml

merge-queue/test: a check run's build figures, from the traces it leaves (red)

fuzz_confinement.mli

merge-queue: what a check may touch when its machine confines it

fuzz_failures.ml

merge-queue: a check run records the failures its log names

fuzz_failures.mli

merge-queue: a check run records the failures its log names

merge-queue/test: the simulated world, one interpreter per machine

merge-queue/test: a simulated world that holds Git's state, checked against its truth (red)

fuzz_resolve.ml

merge-queue/test: the resolver's calls and the landings' numeric fields in stats (red)

fuzz_resolve.mli

merge-queue/fuzz: the resolver's invariants over random traces

builder, merge-queue: the per-case rules are Dune_cases'