Skip to content

test(kotlin): isolate FQ class literals and builtin filtering - #4112

Closed
xiehuanyi wants to merge 1 commit into
Graphify-Labs:v8from
xiehuanyi:test/kotlin-class-literal-boundaries
Closed

test(kotlin): isolate FQ class literals and builtin filtering#4112
xiehuanyi wants to merge 1 commit into
Graphify-Labs:v8from
xiehuanyi:test/kotlin-class-literal-boundaries

test(kotlin): isolate annotation class literal boundaries

42dc0a7
Select commit
Loading
Failed to load commit list.
Graphify Labs / Graphify Formal Verification completed Oct 5, 2026 in 0s

No PR-changed functions were verified

Compared merge-base 35adf432b9d50f6f3d530ab5d7ec316819ef081c (where this PR branched from the base branch) against head 42dc0a7fee7dffea8a1c625341e8a30aee55acf4. 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.

View more details on Graphify Labs