search

eth-sc-comp / benchmarks

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

Tool selection allowed from command line #18

Closed msooseth closed 1 year ago

msooseth commented 1 year ago

It's nice to not re-run everything when I just want to test the new hevm. This allows for that.