certora

[Certora Audit] I-03. Inconsistency in formula for `performCreate` and `performCreate2` #859

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
verify (owner)	7m 3s
verify (safe)	2m 29s
verify (module)	4m 17s
verify (nativeTokenRefund)	1m 55s
verify (signatures)	55s
verify (safeMigration)	2m 23s
verify (safeToL2Migration)	1m 3s
verify (safeToL2Setup)	1m 3s
	21m 8s