search

raft-fi / contracts

Smart contracts for the Raft protocol
http://raft.fi/
Other
40 stars 18 forks source link

feature: Add check in CertoraProver that PositionManagerWCT doesn't have any tokens (managePosition function) #432

Closed StefanVitor closed 1 year ago