evmexec

Mar 13, 2023

d103bee · Mar 13, 2023

This branch is 10 commits ahead of RUB-SysSec/EthBMC:master.

Name	Name	Last commit message	Last commit date
parent directory ..
ethereum-newtypes	ethereum-newtypes	Initial Commit	Apr 27, 2020
src	src	Added support for symbolic storage	Mar 13, 2023
tests	tests	Initial Commit	Apr 27, 2020
Cargo.toml	Cargo.toml	Initial Commit	Apr 27, 2020
LICENSE	LICENSE	Initial Commit	Apr 27, 2020
README.md	README.md	Initial Commit	Apr 27, 2020

README.md

A simple rust crate for executing a chain of transactions on a local evm instance. Based on evmlab.

This crate expects a valid geth evm instance in your path. Tested on 1.8.17-stable.