Skip to content

Certora Review

Certora Review #52

Annotations

1 warning

verify (verifyDoubleClaim.conf --rule prevent_duplicate_reward_claiming_single_reward_insufficient)

succeeded Dec 12, 2024 in 8m 3s