Extract fuzzing test branches to separate, pre-assumed fuzzing test

[Rubilmax]

Basically extract every:

function test(uint256 blabla) {
    if (condition) {
        expect(expectation1);
    } else {
        expect(expectation2);
    }
}

to:

function testWhenCondition(uint256 blabla) {
    vm.assume(condition);
    expect(expectation1);
}

function testWhenNotCondition(uint256 blabla) {
    vm.assume(!condition);
    expect(expectation2);
}

[QGarchery]

Why ? Isn't it less efficient ?

[MathisGD]

It is, because we do more iteration in total. But as fuzzing inputs are a « black box », testing each branches with a if else does not ensure that those branches has been tested. With one fuzzing test with an assume per branch, we know that each of them has been fuzzed.