test: add backdoor erc20 examples using createCalldata cheatcode

a16z / halmos

A symbolic testing tool for EVM smart contracts

GNU Affero General Public License v3.0

817 stars 68 forks source link

Closed daejunpark closed 1 month ago

daejunpark commented 1 month ago

this test illustrates the fallback calldata generated by createCalldata cheatcode.