Certora

[Certora] Liquidate buffer #626

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
verify (AccrueInterest)	13m 0s
verify (AssetsAccounting)	7m 15s
verify (ConsistentState)	16m 4s
verify (ExactMath)	7m 24s
verify (ExchangeRate)	8m 56s
verify (Health)	8m 25s
verify (LibSummary)	6m 54s
verify (LiquidateBuffer)	11m 58s
verify (Liveness)	7m 12s
verify (Reentrancy)	8m 12s
verify (Reverts)	9m 43s
verify (StayHealthy)	8m 44s
verify (Transfer)	5m 32s
	1h 59m 19s