Certora

[Certora] Use configuration files #196

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
verify (AccrueInterest)	37m 33s
verify (ConsistentState)	10m 4s
verify (ExactMath)	5m 19s
verify (ExitLiquidity)	10m 2s
verify (Health)	1h 11m 31s
verify (LibSummary)	3m 31s
verify (Liveness)	3m 37s
verify (RatioMath)	9m 10s
verify (Reentrancy)	4m 54s
verify (Reverts)	5m 56s
verify (Transfer)	4m 0s
	2h 45m 37s