Certora

[Certora] Liquidate buffer #627

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
verify (AccrueInterest)	6m 35s
verify (AssetsAccounting)	6m 30s
verify (ConsistentState)	7m 43s
verify (ExactMath)	5m 54s
verify (ExchangeRate)	7m 14s
verify (Health)	6m 34s
verify (LibSummary)	5m 58s
verify (LiquidateBuffer)	1h 6m 34s
verify (Liveness)	5m 46s
verify (Reentrancy)	6m 5s
verify (Reverts)	6m 7s
verify (StayHealthy)	6m 3s
verify (Transfer)	5m 36s
	2h 22m 39s