ethereum / hevm

symbolic EVM evaluator
https://hevm.dev
GNU Affero General Public License v3.0
223 stars 45 forks source link

Fix typo in `deal` cheatcode docs #478

Closed aviggiano closed 4 months ago

aviggiano commented 4 months ago

Fix typo in deal cheatcode docs

Reference https://github.com/ethereum/hevm/blob/05b3812f3650edaf11788ee0e6052870ec7cbfbb/src/EVM.hs#L1589

Description

Checklist

msooseth commented 4 months ago

NICE, thanks! I am re-writing the docs -- can you perhaps review https://github.com/ethereum/hevm/pull/476 for me? I'd LOVE to hear what you think! It's quite hard to write docs without feedback of what is actually missing/could be re-structured to be easier. A second pair of eyes would be really nice. Thanks in advance!

Mate

aviggiano commented 4 months ago

Hi @msooseth Sure, I'll take a look! I encountered this issue while using Echidna, actually, which I know uses hevm under the hood. I'm not very familiar with Haskell, but the docs are more high level so I believe my input may be helpful

msooseth commented 4 months ago

Thanks so much! Looking forward :)