Skip to content
Certora

Rename PreLiquidation -> SoftLiquidation #136

Sign in to view logs

Rename PreLiquidation -> SoftLiquidation

Rename PreLiquidation -> SoftLiquidation #136

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

certora.yml

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

Annotations

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