search

alegnani / pancake-verifier

1 stars 0 forks source link

forgot to remove postcondition of structs #45

Closed alegnani closed 4 days ago