certora

[Certora Audit] G-01. `OwnerManager.removeOwner()`: 1 SLOAD can be sa… #860

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
verify (owner)	10m 27s
verify (safe)	6m 42s
verify (module)	7m 22s
verify (nativeTokenRefund)	2m 58s
verify (signatures)	5m 19s
verify (safeMigration)	3m 46s
verify (safeToL2Migration)	3m 25s
verify (safeToL2Setup)	3m 56s
	43m 55s