Skip to content

[Certora] mutant 5 #235

[Certora] mutant 5

[Certora] mutant 5 #235

Triggered via pull request November 22, 2023 18:42
Status Failure
Total duration 1h 23m 24s
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 (ExitLiquidity)
Process completed with exit code 1.
verify (ConsistentState)
Process completed with exit code 1.