Skip to content

Certora Review

Certora Review #22

Annotations

2 warnings

verify (verifyDoubleClaim.conf --rule prevent_duplicate_reward_claiming_single_reward_sufficient)

succeeded Sep 15, 2024 in 1m 56s