Symbol Execution Engine for smart contract Purpose We tried to setup a symbol execution for smart contract. Roadmap I like to translate Solidity to IR. Try to run these IR on klee. ##[Reference] cerkit.org , Formal Verification for Smart Contracts and Blockchain Ecosystems. Pallet project.