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.

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

Feature: add fuzzing parameters #62

Open
simon-something opened this issue Apr 8, 2024 · 0 comments
Open

Feature: add fuzzing parameters #62

simon-something opened this issue Apr 8, 2024 · 0 comments

Comments

@simon-something
Copy link
Contributor

Add a way to support variables which should be fuzzed

This could be:

  • have new keywords parsed in the .tree (between, greater than, lesser than, equals for the opposite/reverting)
  • add arguments to the function signature, based on these
  • create a range for this values (using forge-std bound)

For instance

Test.Test
├── When X is between a and b 
└──── it should do something

should then have a corresponding test

function test_WhenXIsBetweenAAndB(uint256 fuzzedX) external {
    fuzzedX = bound(fuzzedX, A, B);
    // It should do something
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

No branches or pull requests

1 participant