Back to pull request #623

[Certora] Assets accounting when entering a position #317

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
verify (AccrueInterest)	4m 41s
verify (AssetsAccounting)	7m 55s
verify (ConsistentState)	13m 22s
verify (ExactMath)	17m 51s
verify (Health)	4m 44s
verify (LibSummary)	6m 3s
verify (Liveness)	6m 53s
verify (RatioMath)	5m 33s
verify (Reentrancy)	9m 50s
verify (Reverts)	8m 15s
verify (Transfer)	4m 29s
	1h 29m 36s