Skip to content
Certora

Fix stay healthy liquidate rule depending on cache #657

Sign in to view logs

Fix stay healthy liquidate rule depending on cache

Fix stay healthy liquidate rule depending on cache #657

verify (ConsistentState)

verify (ConsistentState)
succeeded Jan 29, 2025 in 14m 49s