Repository navigation
fix(solidity): link enum values with case_of instead of contains - #4090
rajatnagda45 wants to merge 1 commit into
1/1 PR-changed function(s) verified · no divergence found (sampled, not a proof)
Compared merge-base 35adf432b9d50f6f3d530ab5d7ec316819ef081c (where this PR branched from the base branch) against head fdd99502d74474fc0220d67e52f88eb989aed266. Changes on the base branch since then are not attributed to this PR.
PR-changed functions: 1/1 verified (0 proven, 1 may-equivalent, 0 distinguished) · 0 not verified
| equivalent (proved) | distinguished | may-equivalent (sampled) | unsupported | error |
|---|---|---|---|---|
| 0 | 0 | 1 | 0 | 0 |
No divergences or abstentions to report.
Backend availability notices:
- none of the 0 changed id(s) matched a code node in the graph (0 known) — 1 changed function(s) recovered directly from the git diff instead (graph may be stale/unsynced; consider a rebuild)
Evidence certificates (JSON / Markdown): open in Graphify (sign-in required).
Formal verification is advisory: equivalent is a proof over a bounded sound subset; may_equivalent is sampled, not proven; unsupported and error are honest abstentions. A vacuous check (it never exercised the function) is counted as not verified. Only functions this PR changed are counted; context functions are listed separately.