certora

docs: enhance fallback handler documentation in `Safe.sol` and `IFallbackManager.sol` #838

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
verify (owner)	7m 25s
verify (safe)	6m 2s
verify (module)	7m 21s
verify (nativeTokenRefund)	5m 50s
verify (signatures)	3m 57s
verify (safeMigration)	4m 38s
verify (safeToL2Migration)	52s
verify (safeToL2Setup)	1m 23s
	37m 28s