search

crytic / properties

Pre-built security properties for common Ethereum operations
GNU Affero General Public License v3.0
276 stars 42 forks source link

Fix typo in `deal` Hevm cheatcode #54

Closed aviggiano closed 5 months ago

aviggiano commented 5 months ago

See https://github.com/ethereum/hevm/pull/478

https://github.com/ethereum/hevm/blob/05b3812f3650edaf11788ee0e6052870ec7cbfbb/test/contracts/pass/cheatCodes.sol#L7