Repository navigation
fix(cpp): extract union specifiers as class-like type nodes - #4052
Closed
rajatnagda45 wants to merge 1 commit into
Closed
rajatnagda45 wants to merge 1 commit into
rajatnagda45 wants to merge 1 commit into
Graphify Labs / Graphify Formal Verification
completed
Oct 4, 2026 in 0s
No PR-changed functions were verified
Compared merge-base 48d7c0e832cd2d67d86850e716ddea16df6238ea (where this PR branched from the base branch) against head b6c9c34359b13fe6f741ee97aeac9f6002f10295. Changes on the base branch since then are not attributed to this PR.
PR-changed functions: none were verified
| equivalent (proved) | distinguished | may-equivalent (sampled) | unsupported | error |
|---|---|---|---|---|
| 0 | 0 | 0 | 0 | 0 |
No divergences or abstentions to report.
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.
Loading