Increase Granularity of Allowed Return Status - Githubissues

eth-sc-comp / benchmarks

Symbolic Execution Benchmarks for Ethereum Smart Contracts

18 stars 3 forks source link

Increase Granularity of Allowed Return Status #6

Closed d-xo closed 1 year ago

d-xo commented 1 year ago

tool harnesses should now report a contract as either safe/unsafe/unknown
this reported status is included in the results.json file