argotorg/hevm (opens in new tab)

Symbolic and concrete EVM execution enginehevm hevm is an implementation of the Ethereum virtual machine (EVM) made for symbolic execution, equivalence checking, and (symbolic) unit testing of smart contracts. hevm can symbolically execute smart contracts, perform symbolic equivalence testing, and run arbitrary EVM code. In particular, it can run Documentation & Support User facing documentation can be found in the . We have a public matrix chat room Installing via Static Binaries Static bina...