Sam Uwe Alws
Results
1
comments of
Sam Uwe Alws
Implemented this change at https://github.com/samalws/echidna/tree/fnPtr, won't do an echidna PR until the relevant hevm commit (https://github.com/ethereum/hevm/commit/24a6777d9d2849785add927d423a62b287bf1d2f) is put into an hevm release