A symbolic testing tool for EVM smart contracts - View it on GitHub