Skip to content
Slither Analysis

Fix collateral to pledge in erc20 invariants #4503

Sign in to view logs

Fix collateral to pledge in erc20 invariants

Fix collateral to pledge in erc20 invariants #4503

Triggered via push January 8, 2024 12:02
@prateek105prateek105
pushed 085b8ac
reduce-max-pool-debt
Status Success
Total duration 2m 26s
Artifacts –

slither.yml

on: push
analyze
2m 14s
analyze
Fit to window
Zoom out
Zoom in

Annotations

5 errors
analyze
Process completed with exit code 255.
analyze
Process completed with exit code 255.
analyze
Process completed with exit code 255.
analyze
Process completed with exit code 255.
analyze
Process completed with exit code 255.