Certora

[Certora] Liquidate buffer #624

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
verify (AccrueInterest)	10m 58s
verify (AssetsAccounting)	5m 36s
verify (ConsistentState)	15m 5s
verify (ExactMath)	5m 33s
verify (ExchangeRate)	6m 51s
verify (Health)	8m 32s
verify (LibSummary)	5m 12s
verify (LiquidateBuffer)	9m 40s
verify (Liveness)	6m 49s
verify (Reentrancy)	4m 48s
verify (Reverts)	8m 59s
verify (StayHealthy)	7m 33s
verify (Transfer)	4m 28s
	1h 40m 4s