Skip to content
certora

Create a separate interface for module guard #516

Sign in to view logs

Create a separate interface for module guard

Create a separate interface for module guard #516

verify (verifyNativeTokenRefund.sh)

verify (verifyNativeTokenRefund.sh)
succeeded May 24, 2024 in 4m 45s