Certora

[Certora] Simplify summarization of mulDiv and price #681

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
verify (AccrueInterest)	11m 21s
verify (AssetsAccounting)	6m 26s
verify (ConsistentState)	15m 21s
verify (ExactMath)	7m 35s
verify (ExchangeRate)	8m 58s
verify (Health)	8m 51s
verify (LibSummary)	6m 15s
verify (Liveness)	6m 31s
verify (Reentrancy)	6m 57s
verify (Reverts)	9m 22s
verify (StayHealthy)	14m 29s
verify (Transfer)	5m 54s
	1h 48m 0s