Search Package Index

evm-redex models the EVM as a formal small-step semantics (a Redex reduction relation over an explicit machine/world/transaction grammar) and runs that semantics directly against the official Ethereum test vectors. It is derived from ethereum/execution-specs and validated against ethereum/tests.

Several examples of tests for Solidity contracts using evm-redex packages.