Skip to content

getters return structs instead of tuples#1004

Closed
prd-carapulse[bot] wants to merge 11 commits into
mainfrom
hermes/pr-1003-position-getter-struct
Closed

getters return structs instead of tuples#1004
prd-carapulse[bot] wants to merge 11 commits into
mainfrom
hermes/pr-1003-position-getter-struct

fix timeout & optim certora

a4353f3
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar