certora

Certora Review #16

Sign in to view logs

Triggered via pull request November 18, 2024 23:26

synchronize #7

certora

Status Failure

Total duration 1h 50m 21s

Artifacts –

certora-basic.yml

on: pull_request

Matrix: verify

Annotations

1 error

verify (NEW-pool-simple-properties.conf --rule cannotBorrowZeroAmount --msg "cannotBorrowZeroAmou...

Process completed with exit code 1.