I added Echidna-based ERC20 & ERC721 properties to snekmate. afaict, it's the first Vyper integration & I hope others can benefit from the pain I had to go through. hevm doesn't strip whitespace characters (!) and Foundry ffi doesn't allow for cmd piping. So I used Python to fix this shit 🫡

I added Echidna-based ERC20 & ERC721 properties to snekmate. afaict, it's the first Vyper integration & I hope others can benefit from the pain I had to go through. hevm doesn't strip whitespace characters (!) and Foundry ffi doesn't allow for cmd piping. So I used Python to fix this shit 🫡 https://shorturl.at/mstzM