search

a16z / halmos

A symbolic testing tool for EVM smart contracts
GNU Affero General Public License v3.0
817 stars 68 forks source link

docs: add eip-7002 withdrawal requests queue test #381

Closed daejunpark closed 1 month ago

daejunpark commented 1 month ago

functional correctness test for the withdrawal requests queue contract in eip-7002

geas implementation: https://github.com/lightclient/sys-asm/blob/main/src/withdrawals/main.eas

daejunpark commented 1 month ago

closing in favor of https://github.com/lightclient/sys-asm/pull/29