Certora

[Certora] Dev #211

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
verify (AccrueInterest)	26m 42s
verify (ConsistentState)	6m 11s
verify (ExactMath)	10m 30s
verify (ExitLiquidity)	8m 23s
verify (Health)	1h 7m 15s
verify (LibSummary)	4m 26s
verify (Liveness)	4m 44s
verify (RatioMath)	9m 29s
verify (Reentrancy)	4m 36s
verify (Reverts)	6m 8s
verify (Transfer)	5m 13s
	2h 33m 37s