Skip to content

Conversation

@dcoutts
Copy link
Collaborator

@dcoutts dcoutts commented Mar 13, 2025

Use prop_arbitraryAndShrinkPreserveInvariant rather than the naive version (which no doubt pre-dates the handy util).

On my machine with an unoptimised build, improves running time from 50s to 17s.

Use prop_arbitraryAndShrinkPreserveInvariant rather than the naive
version (which no doubt pre-dates the handy util).

On my machine with an unoptimised build, improves running time
from 50s to 17s.
@dcoutts dcoutts force-pushed the dcoutts/quicker-test-shrink-compact-Chunks branch from 18768ca to 42a1dbc Compare March 13, 2025 16:25
@jorisdral jorisdral added this pull request to the merge queue Mar 14, 2025
@github-merge-queue github-merge-queue bot removed this pull request from the merge queue due to failed status checks Mar 14, 2025
@jorisdral jorisdral added this pull request to the merge queue Mar 14, 2025
Merged via the queue into main with commit ee9ec6c Mar 14, 2025
27 checks passed
@jorisdral jorisdral deleted the dcoutts/quicker-test-shrink-compact-Chunks branch March 14, 2025 11:59
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.

3 participants