Skip to content
certora

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

Sign in to view logs

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

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

Annotations

1 warning

verify (nativeTokenRefund)

verify (nativeTokenRefund)
succeeded Jan 2, 2025 in 7m 4s