certora

[Certora Audit] G-02. `OwnerManager.changeThreshold()` event update #836

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
verify (owner)	7m 23s
verify (safe)	9m 46s
verify (module)	6m 50s
verify (nativeTokenRefund)	5m 6s
verify (signatures)	3m 6s
verify (safeMigration)	3m 26s
verify (safeToL2Migration)	3m 38s
verify (safeToL2Setup)	3m 17s
	42m 32s