Skip to content

Comments

test: add benchmark vcgen_reader_state#12671

Merged
sgraf812 merged 1 commit intomasterfrom
sg/sym-mvcgen-reader-state-add-sub-cancel
Feb 24, 2026
Merged

test: add benchmark vcgen_reader_state#12671
sgraf812 merged 1 commit intomasterfrom
sg/sym-mvcgen-reader-state-add-sub-cancel

Conversation

@sgraf812
Copy link
Contributor

This PR adds the benchmark vcgen_reader_state that is a variant of vcgen_add_sub_cancel that takes the value to subtract from a ReaderT layer. Measurements:

goal_100: 201 ms, 1 VCs by sorry: 0 ms, kernel: 52 ms
goal_500: 382 ms, 1 VCs by sorry: 0 ms, kernel: 327 ms
goal_1000: 674 ms, 1 VCs by sorry: 1 ms, kernel: 741 ms

Which suggests it scales linearly. The generated VC triggers superlinear behavior in grind, though, hence it is discharged by sorry.

@sgraf812 sgraf812 enabled auto-merge February 24, 2026 13:10
@sgraf812 sgraf812 force-pushed the sg/sym-mvcgen-reader-state-add-sub-cancel branch from 002840d to e8c4673 Compare February 24, 2026 13:11
@sgraf812 sgraf812 added this pull request to the merge queue Feb 24, 2026
Merged via the queue into master with commit bb8d8da Feb 24, 2026
15 checks passed
@sgraf812 sgraf812 deleted the sg/sym-mvcgen-reader-state-add-sub-cancel branch February 24, 2026 14:08
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant