Skip to content

update halmos tests for max consolidations = 2#2

Merged
daejunpark merged 2 commits intomainfrom eip-7251-max-block-2Jan 25, 2025

Commits

Commits on Jan 22, 2025

Commits on Jan 23, 2025