Skip to content
Slither Analysis

Add invariant A10: Upon kick 't0ReserveSettleAmount' should be set to… #4506

Sign in to view logs

Add invariant A10: Upon kick 't0ReserveSettleAmount' should be set to…

Add invariant A10: Upon kick 't0ReserveSettleAmount' should be set to… #4506

Triggered via push January 10, 2024 14:01
@prateek105prateek105
pushed ec03d25
borrower-reserve-settle-amount
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.