-
Notifications
You must be signed in to change notification settings - Fork 1.8k
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.
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
feat: fuzz corpus saving and replay in standard format #2552
Labels
A-testing
Area: testing
C-forge
Command: forge
Cmd-forge-test
Command: forge test
T-feature
Type: feature
Comments
onbjerg
added
A-testing
Area: testing
Cmd-forge-test
Command: forge test
C-forge
Command: forge
labels
Aug 3, 2022
Relevant discussion regarding the standardization of the corpus between fuzzing and property based testing tools: |
I don't have a strong sense of what the right format would be but it would be nice to extend the export of #7899 to include the traces of unit tests as well |
grandizzy
changed the title
feat: fuzz corpus saving and replay
feat: fuzz corpus saving and replay in standard format
Jun 8, 2024
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Labels
A-testing
Area: testing
C-forge
Command: forge
Cmd-forge-test
Command: forge test
T-feature
Type: feature
Component
Forge
Describe the feature you would like
#991 was closed by #1658, but as documented by this comment there's some other related work, so pulling that into separate issues.
Follows #2551 to allow saving and replaying entire fuzz campaigns instead of just failures.
ResultCache
(Or some other mechanism TBD)./cache/fuzz/corpus-latest.json
.foundry.toml
flag to specify outdir.replay
proptest
strategy that is powered by acorpus.json
file.--fuzz-input-file
option to additionally take acorpus.json
file &forge test
to triggerreplay
./cache/fuzz
is removed withforge clean
.--generate-test-cases
flag to autogenerate concrete tests from the fuzz inputs. these can be logged to the console for the user to put anywhere, or inserted directly below the failed fuzz test in the test fileIncluding the generated dictionary (perhaps as an optional flag if it's too big?) would be useful as well
Additional context
No response
The text was updated successfully, but these errors were encountered: