Skip to content
certora

Adaptation of Repay with Collateral contract for Aave V2 #133

Sign in to view logs

Adaptation of Repay with Collateral contract for Aave V2

Adaptation of Repay with Collateral contract for Aave V2 #133

Triggered via pull request September 16, 2024 16:35
@miguelmtzinfmiguelmtzinf
opened #55
aave:fix/paraswap-repay-v2
Status Skipped
Total duration 4s
Artifacts –

certora.yml

on: pull_request
Matrix: verify
Fit to window
Zoom out
Zoom in