eth-sc-comp / benchmarks

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

Adding benchmarks, improving bench.py, creating graphs #9

Closed msooseth closed 1 year ago

msooseth commented 1 year ago

Adds benchmarks, improves bench.py, generates graphs, add JSON and CSV outputs. Uses runlim for running and /usr/bin/time for timing.