certora

feat: add new contract to support merkl reward claiming #88

Sign in to view logs

Triggered via pull request December 11, 2025 17:07

aa-eyup

synchronize #112

feat/merkl-rewards

Status Failure

Total duration 13m 1s

Artifacts –

certora.yml

on: pull_request

Matrix: verify

Annotations

3 errors

verify (erc4626-previewOPERATIONS.conf)

Process completed with exit code 8.

verify (totalSupply_EQ_sumAllBal.conf)

Process completed with exit code 8.

verify (positiveSupply_imply_positiveAssets-deposit.conf)

Process completed with exit code 8.