Skip to content
Certora

Fix stay healthy liquidate rule depending on cache #659

Sign in to view logs

Fix stay healthy liquidate rule depending on cache

Fix stay healthy liquidate rule depending on cache #659

verify (Transfer)

verify (Transfer)
succeeded Jan 29, 2025 in 4m 11s