What a review is telling you
Open Reviews, choose the repository, and select the run. Check the commit. The findings on that run describe that revision. A finding is advisory. It is a concern to investigate, with the code the change can affect. It is not proof that every changed function still behaves the same way. When the repository settings are on, the run can also include Risky patterns (advisory) and Docs that may be stale (advisory).What a verdict is telling you
Open Formal Verification and expand the run. The run status tells you whether processing finished. The per-function result tells you what was established:
Completed describes the run’s lifecycle. It does not mean every function was proved equivalent. A finished run can contain a mixture of these results.
Use the formal verification guide before you act on a verdict.
Review settings
Turn risky patterns and stale docs on or off for a repository.