search

crytic / echidna

Ethereum smart contract fuzzer
https://secure-contracts.com/program-analysis/echidna/index.html
GNU Affero General Public License v3.0
2.73k stars 368 forks source link

Improve documentation in execTxWith #559

Open ggrieco-tob opened 3 years ago

ggrieco-tob commented 3 years ago

let's maybe document the variables with haddock

_Originally posted by @incertia in https://github.com/crytic/echidna/pull/515#discussion_r526297935_

ggrieco-tob commented 7 months ago

This should be done in the execTxWith refactoring.