Description
hevm is a DappHub-developed command-line EVM implementation for symbolic execution, smart-contract unit testing, interactive Solidity-source debugging, and arbitrary EVM execution. It can fetch state from live networks through RPC, prove program equivalence, and explore execution paths for assertion violations and counterexamples; it is distributed as part of the Dapp tools suite.