Skip to content
Certora

no memory vars #356

Sign in to view logs

no memory vars

no memory vars #356

Triggered via pull request December 8, 2023 12:43
@adhussonadhusson
opened #641
adhusson:fix/liquidation-no-memory-vars
Status Failure
Total duration 51s
Artifacts –
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

certora.yml

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

Annotations

11 errors and 11 warnings
verify (ExitLiquidity)
Process completed with exit code 1.
verify (ConsistentState)
Process completed with exit code 1.
verify (LibSummary)
Process completed with exit code 1.
verify (Transfer)
Process completed with exit code 1.
verify (RatioMath)
Process completed with exit code 1.
verify (Reentrancy)
Process completed with exit code 1.
verify (ExactMath)
Process completed with exit code 1.
verify (Liveness)
Process completed with exit code 1.
verify (Health)
Process completed with exit code 1.
verify (Reverts)
Process completed with exit code 1.
verify (AccrueInterest)
Process completed with exit code 1.
verify (ExitLiquidity)
The `python-version` input is not set. The version of Python currently in `PATH` will be used.
verify (ConsistentState)
The `python-version` input is not set. The version of Python currently in `PATH` will be used.
verify (LibSummary)
The `python-version` input is not set. The version of Python currently in `PATH` will be used.
verify (Transfer)
The `python-version` input is not set. The version of Python currently in `PATH` will be used.
verify (RatioMath)
The `python-version` input is not set. The version of Python currently in `PATH` will be used.
verify (Reentrancy)
The `python-version` input is not set. The version of Python currently in `PATH` will be used.
verify (ExactMath)
The `python-version` input is not set. The version of Python currently in `PATH` will be used.
verify (Liveness)
The `python-version` input is not set. The version of Python currently in `PATH` will be used.
verify (Health)
The `python-version` input is not set. The version of Python currently in `PATH` will be used.
verify (Reverts)
The `python-version` input is not set. The version of Python currently in `PATH` will be used.
verify (AccrueInterest)
The `python-version` input is not set. The version of Python currently in `PATH` will be used.