Skip to content
Certora

Rename PreLiquidation -> SoftLiquidation #137

Sign in to view logs

Rename PreLiquidation -> SoftLiquidation

Rename PreLiquidation -> SoftLiquidation #137

Triggered via pull request October 4, 2024 16:51
@peyhapeyha
synchronize #80
chore/rename
Status Failure
Total duration 30s
Billable time 3m
Artifacts –

certora.yml

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

Annotations

3 errors
verify (Liveness)
Process completed with exit code 1.
verify (Immutability)
Process completed with exit code 1.
verify (Reentrancy)
Process completed with exit code 1.