Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

feat: add config option to turn off shrinking #4867

Closed
mds1 opened this issue May 2, 2023 · 2 comments
Closed

feat: add config option to turn off shrinking #4867

mds1 opened this issue May 2, 2023 · 2 comments
Labels
A-testing Area: testing C-forge Command: forge Cmd-forge-test Command: forge test T-feature Type: feature

Comments

@mds1
Copy link
Collaborator

mds1 commented May 2, 2023

Component

Forge

Describe the feature you would like

I am experiencing same issues when running large invariant test suite (bunch of invariants + runs + big depth), would be great to have the option to turn off shrinking. Thank you

Originally posted by @grandizzy in #3662 (comment)

Additional context

No response
@mds1 mds1 added A-testing Area: testing T-feature Type: feature Cmd-forge-test Command: forge test C-forge Command: forge labels May 2, 2023
@mds1 mds1 mentioned this issue May 2, 2023
Closed
@gakonst gakonst added this to Foundry May 2, 2023
@github-project-automation github-project-automation bot moved this to Todo in Foundry May 2, 2023
@mds1 mds1 mentioned this issue May 2, 2023
Closed
@grandizzy grandizzy mentioned this issue May 2, 2023
Merged
@grandizzy
Copy link
Collaborator

thanks for tracking this! I made a PR to address this here #4868

@mds1
Copy link
Collaborator Author

mds1 commented May 16, 2023

Resolved by #4868

@mds1 mds1 closed this as completed May 16, 2023
@github-project-automation github-project-automation bot moved this from Todo to Done in Foundry May 16, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
A-testing Area: testing C-forge Command: forge Cmd-forge-test Command: forge test T-feature Type: feature
Projects
Foundry
Archived in project
Milestone
No milestone
Development

No branches or pull requests
2 participants
@mds1 @grandizzy