fix(csharp): walk generic type arguments at call sites (#2911) - #2930
Closed
santhiprakash wants to merge 1 commit into
Closed
fix(csharp): walk generic type arguments at call sites (#2911)#2930santhiprakash wants to merge 1 commit into
santhiprakash wants to merge 1 commit into
Graphify Labs / Graphify Formal Verification
completed
Aug 21, 2026 in 0s
No divergence found (not a proof)
Compared b2cd36267456c166788c95be6e68574064a92a42 (base) against 4ebdb976262414df8d1603433c25d884220b0dec (head).
Covered 0/1 changed functions (1 abstained, 0 never run)
| equivalent (proved) | distinguished | may-equivalent (sampled) | unsupported | error |
|---|---|---|---|---|
| 0 | 0 | 0 | 1 | 0 |
graphify/extractors/engine\.py· _extract_generic: unsupported — parameter `path` is annotated `Path` — outside the synthesizable primitive/collection set
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.
Loading