alexfertel / bulloak

Generate tests based on the Branching Tree Technique.
https://bulloak.dev
Apache License 2.0
260 stars 14 forks source link

Feature: add fuzzing parameters #62

Open drgorillamd opened 5 months ago

drgorillamd commented 5 months ago

Add a way to support variables which should be fuzzed

This could be:

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