Skip to content

feat(fuzz): persist worker corpus immediately - #15816

Open
decofe wants to merge 8 commits into
centaur/stack-corpus-mutator-prs-1784125633from
centaur/immediate-corpus-persistence-1784381329
Open

feat(fuzz): persist worker corpus immediately#15816
decofe wants to merge 8 commits into
centaur/stack-corpus-mutator-prs-1784125633from
centaur/immediate-corpus-persistence-1784381329

Conversation

@decofe

@decofe decofe commented Jul 18, 2026

Copy link
Copy Markdown
Contributor

Summary

  • remove live/deferred corpus insertion modes and write interesting entries directly to each worker corpus
  • stop carrying corpus artifacts through end-of-run aggregation
  • expand configured gzip corpus files before invariant campaigns and recompress eligible entries after workers finish
  • keep the aggregated optimization best as the final persisted optimization state

Validation

  • cargo +nightly fmt --all -- --check
  • git diff --check
  • cargo metadata --no-deps --format-version 1
  • cargo check -p foundry-evm --lib could not start because fetching foundry-rs/optimism returned HTTP 401

Stacked on #15763. Closes OSS-574

Prompted by: @0xalpharush

@0xalpharush

Copy link
Copy Markdown
Collaborator

derek bench invariant

@github-actions

github-actions Bot commented Jul 20, 2026

Copy link
Copy Markdown
Contributor

cc @0xalpharush

bench (invariant) event published. Results will be reported separately. View publisher run

Config: subcommand: invariant, PR SHA: 1660ded56102, compare-ref: master, timeout: 3600s, workers: default, benchmark-type: property

@mablr mablr self-assigned this Jul 21, 2026
Comment thread crates/evm/evm/src/executors/corpus.rs Outdated
Comment thread crates/evm/evm/src/executors/corpus.rs Outdated
@mablr
mablr force-pushed the centaur/stack-corpus-mutator-prs-1784125633 branch from 53dfc2d to 8bc64e2 Compare July 27, 2026 11:53
…ur/immediate-corpus-persistence-1784381329

# Conflicts:
#	crates/evm/evm/src/executors/corpus.rs
#	crates/evm/evm/src/executors/invariant/mod.rs
#	crates/forge/tests/cli/test_cmd/fuzz.rs
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

Status: No status

Development

Successfully merging this pull request may close these issues.

3 participants