Skip to content

Add sum oracle to the fuzzer and reject samples that have order dependent overflow behaviour - #9801

Merged
robert3005 merged 5 commits into
developfrom
rk/sumfuzzoracle
Oct 6, 2026
Merged

robert3005 merged 5 commits into
developfrom
rk/sumfuzzoracle

Conversation

@robert3005

Copy link
Copy Markdown
Contributor

Fuzzer sum oracle does chunk by chunk aggregation instead of canonicalising and
running aggregate on single chunk

@robert3005 robert3005 added the changelog/chore A trivial change label Sep 8, 2026
@codspeed

codspeed Bot commented Sep 8, 2026 •

Copy link
Copy Markdown

Merging this PR will not alter performance

⚠️ Unknown Walltime execution environment detected

Using the Walltime instrument on standard Hosted Runners will lead to inconsistent data.

For the most accurate results, we recommend using CodSpeed Macro Runners: bare-metal machines fine-tuned for performance measurement consistency.

✅ 2062 untouched benchmarks
⏩ 503 skipped benchmarks1


Comparing rk/sumfuzzoracle (eff1c5b) with develop (32fa7aa)

Open in CodSpeed

Footnotes

  1. 503 benchmarks were skipped, so the baseline results were used instead. If they were deleted from the codebase, click here and archive them to remove them from the performance reports. ↩

Signed-off-by: Robert Kruszewski <github@robertk.io>
Signed-off-by: Robert Kruszewski <github@robertk.io>
Signed-off-by: Robert Kruszewski <github@robertk.io>
Signed-off-by: Robert Kruszewski <github@robertk.io>
@robert3005
robert3005 enabled auto-merge (squash) September 9, 2026 15:21
@robert3005 robert3005 changed the title Add sum oracle to the fuzzer Add sum oracle to the fuzzer and reject samples that have order dependent overflow behaviour Sep 9, 2026
Comment thread fuzz/src/array/sum/mod.rs
Signed-off-by: Robert Kruszewski <github@robertk.io>
@github-actions

Copy link
Copy Markdown
Contributor

This PR has been marked as stale because it has been open for 14 days with no activity. Please comment or remove the stale label if you wish to keep it active, otherwise it will be closed in 7 days

@github-actions github-actions Bot added the stale This PR is stale and will be auto-closed soon label Sep 25, 2026
@robert3005 robert3005 removed the stale This PR is stale and will be auto-closed soon label Sep 25, 2026
@robert3005
robert3005 disabled auto-merge October 6, 2026 16:12
@robert3005
robert3005 merged commit d9ad4cf into develop Oct 6, 2026
233 of 240 checks passed
@robert3005
robert3005 deleted the rk/sumfuzzoracle branch October 6, 2026 16:12
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

changelog/chore A trivial change

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants