search

a16z / halmos

A symbolic testing tool for EVM smart contracts
GNU Affero General Public License v3.0
802 stars 65 forks source link

fix bad abi encoding in createBytes4 #329

Closed karmacoma-eth closed 2 months ago

karmacoma-eth commented 2 months ago

bytes4 must be right-padded with 0s, not left padded