Certora

SwapperCalleePsm: Add note regarding dust accumulation (#72) #137

Sign in to view logs

Triggered via push November 21, 2023 14:14

telome

dev

Status Success

Total duration 4m 16s

Artifacts –

certora.yml

on: push

Matrix: Certora