Skip to content
Back to pull request #623

[Certora] Assets accounting when entering a position #317

Sign in to view logs

[Certora] Assets accounting when entering a position

[Certora] Assets accounting when entering a position #317

Triggered via pull request December 5, 2023 12:59
@QGarcheryQGarchery
synchronize #623
certora/assets-accounting
Status Success
Total duration 18m 2s
Artifacts –

certora.yml

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

Annotations

11 warnings
verify (Transfer)
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 (AccrueInterest)
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 (LibSummary)
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 (AssetsAccounting)
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 (Reentrancy)
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 (ExactMath)
The `python-version` input is not set. The version of Python currently in `PATH` will be used.