#991 Deterministic Fuzzer with RNG Seeding #1658
Merged
Conversation
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
|
Hey @Bind just checking up on what your plans for next steps are here! @mattsse can provide some guidance regarding how to test this, but I'd check how we do it in the integration tests: https://github.com/foundry-rs/foundry/blob/master/cli/tests/it/test_cmd.rs#L236-L279. |
gakonst
force-pushed
the
master
branch
4 times, most recently
from
e4cdc0a to
8112635
Compare
|
@gakonst Lets see what type of tests I can get done this week otherwise (if someone else is chomping at the bit) might be best for me to bow out for now! |
|
hi @Bind just bumping this again :D |
|
This is ready now @gakonst blocked by gakonst/ethers-rs#1524 |
This was referenced Aug 2, 2022
iFrostizz
pushed a commit
to iFrostizz/foundry
that referenced
this pull request
Nov 9, 2022
* feat: basic rng seeding * chore: bump u32 to U256 * feat(config): add additional helper macro * feat: finish fuzz seed impl * bump ethers Co-authored-by: Matthias Seitz <[email protected]>
|
the fuzz_seed is just an uint256 value ? |
|
yes exactly, in your config file you can use something like [fuzz]
seed = 10And leave out the |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
Motivation
Allow users to set a RNG seed to get deterministic fuzzing as outlined in #issue-991
Solution
This PR specifically handles RNG-Seeding which simply pipes a
uint256from thefoundry.tomlor--fuzz-seedcli arg into the TestRunner initialization.Open Questions
How should I best leverage the built-in test macros to validate fuzzing is deterministic on per test basis regardless of changes to the contract being tested? (Is there an existing set of tests I should reference while building this?)