contrib: add deterministic fuzz coverage mode #35809

pull HowHsu wants to merge 1 commits into bitcoin:master from HowHsu:det-fuzz-cov-param changing 2 files +91 −43
  1. HowHsu commented at 2:17 PM on July 26, 2026: contributor

    Adds an optional integer coverage_check argument to deterministic-fuzz-coverage:

    • 0: run both checks, preserving the current default behavior
    • 1: only check each corpus input individually
    • 2: only check all corpus inputs in one process

    This makes it easier to isolate per-input nondeterminism from cross-input state leakage.

  2. contrib: add deterministic fuzz coverage mode e01ca9bacd
  3. DrahtBot added the label Scripts and tools on Jul 26, 2026
  4. DrahtBot commented at 2:17 PM on July 26, 2026: contributor

    <!--e57a25ab6845829454e8d69fc972939a-->

    The following sections might be updated with supplementary metadata relevant to reviewers and maintainers.

    <!--006a51241073e994b41acfe9ec718e94-->

    Code Coverage & Benchmarks

    For details see: https://corecheck.dev/bitcoin/bitcoin/pulls/35809.

    <!--021abf342d371248e50ceaed478a90ca-->

    Reviews

    See the guideline and AI policy for information on the review process.

    Type Reviewers
    ACK jeanpablojp

    If your review is incorrectly listed, please copy-paste <code>&lt;!--meta-tag:bot-skip--&gt;</code> into the comment that the bot should ignore.

    <!--174a7506f384e20aa4161008e828411d-->

    Conflicts

    Reviewers, this pull request conflicts with the following ones:

    • #35608 (contrib: Skip llvm-cov rendering for deterministic fuzz inputs by HowHsu)

    If you consider this pull request important, please also help to review the conflicting pull requests. Ideally, start with the one that should be merged first.

    <!--5faf32d7da4f0f540f40219e4f7537a3-->

  5. HowHsu commented at 8:02 AM on August 13, 2026: contributor

    Hi @maflcko , any chacne to have a look at this one when you're available. Thanks.

  6. jeanpablojp commented at 10:16 PM on August 18, 2026: contributor

    tACK e01ca9bacdeb860291b1824cac7fb099a3b41111

    Built the tool and ran all three modes against an instrumented binary I put together here, all green, and the check catches nondeterminism on both paths. Mode 0 came out identical to master.

    Silly nit: could the motivation go into the commit message?


github-metadata-mirror

This is a metadata mirror of the GitHub repository bitcoin/bitcoin. This site is not affiliated with GitHub. Content is generated from a GitHub metadata backup.
generated: 2026-08-21 20:51 UTC

This site is hosted by @0xB10C
More mirrored repositories can be found on mirror.b10c.me