search

eth-sc-comp / benchmarks

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

bump halmos to latest main #33

Closed d-xo closed 2 months ago

d-xo commented 2 months ago

should fix https://github.com/eth-sc-comp/benchmarks/issues/32