Consume arguments emitted from events to be used in the fuzzing test

Feature Request: support parsing of event data after a function has been called to pull intermediate / updated values mid-execution

For the following code snippet, it becomes non-trivial to find the output of updatedVarA and updatedVarB, which is necessary in some cases to figure out how much allowance to grant a specific user, or how many funds to actually allocate in order to have a successful transaction.

function X() public { 
  _a(); 
  _b(); 
} 

function _a() private {
   // insert random calculations here 
   emit ValuesUpdated(updatedVarA, updatedVarB)
}

This ends up slowing down invariant development, because helper contracts // functions need to be added to calculate hypothetical values, which is challenging especially in cases where the codebase is reaching max contract size.

crytic / medusa

Consume arguments emitted from events to be used in the fuzzing test #311