certora

[Certora Audit] G-08. Use shift right/left instead of division/multiplication if possible #844

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
verify (owner)	8m 54s
verify (safe)	9m 49s
verify (module)	7m 40s
verify (nativeTokenRefund)	6m 10s
verify (signatures)	4m 7s
verify (safeMigration)	4m 5s
verify (safeToL2Migration)	2m 26s
verify (safeToL2Setup)	1m 57s
	45m 8s