search

eth-sc-comp / benchmarks

Symbolic Execution Benchmarks for Ethereum Smart Contracts
18 stars 3 forks source link

Initial KEVM installation and testing script #1

Closed ehildenb closed 2 years ago

ehildenb commented 2 years ago

This doesn't actually get KEVM working on the examples yet, but sets up the basic infrastructure for other tools to copy/modify.