Skip to content
Certora

Check non-view non-multicall functions are protected #2

Sign in to view logs

Check non-view non-multicall functions are protected

Check non-view non-multicall functions are protected #2

Annotations

1 error

verify (AaveV2MigrationBundlerV2)

verify (AaveV2MigrationBundlerV2)
failed Oct 29, 2024 in 2m 49s