Skip to content
Certora

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

Sign in to view logs

Check non-view non-multicall functions are protected

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

Annotations

1 error

verify (CompoundV3MigrationBundlerV2)

verify (CompoundV3MigrationBundlerV2)
failed Oct 30, 2024 in 7m 22s