Certora

[Certora] Update to v5 of the prover #216

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
verify (AccrueInterest)	30m 57s
verify (ConsistentState)	5m 56s
verify (ExactMath)	9m 4s
verify (ExitLiquidity)	6m 56s
verify (Health)	1h 17m 20s
verify (LibSummary)	4m 12s
verify (Liveness)	2m 53s
verify (RatioMath)	10m 56s
verify (Reentrancy)	3m 41s
verify (Reverts)	3m 43s
verify (Transfer)	1m 47s
	2h 37m 25s