1
90%
main: 90%

Ran 03 Nov 2026 06:46PM UTC

Files 53

Run time 1s

Badge

Embed ▾

Committed 03 Nov 2026 06:30PM UTC coverage: 89.554%. Remained the same

Job # #3948.1

Build Type

push

github

Committed by

web-flow

Commit Message

Count WALA's object catalogs and field keys as published facts (#1206)

The examples of reading the engine's internals listed object-catalog field names, but instance keys, field keys, object catalogs and points-to sets are WALA's own abstractions, which every client reads. The hazard is inferring a fact from how the front end lays out a construct, such as a list's length from which index keys its catalog holds, so the example now names that.


Claude-Session: https://claude.ai/code/session_01NTnpjPjJj2aZy1ZkUD1eAn

Co-authored-by: Claude Opus 5.5 <noreply@anthropic.com>

Coverage Stats

6010 of 6711 relevant lines covered (89.55%)

0.9 hits per line

ponder-lab / Hybridize-Functions-Refactoring / #3948 / 1
90%
main: 90%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job #3948.1

ponder-lab / Hybridize-Functions-Refactoring / #3948 / 1 90% main: 90%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job #3948.1

ponder-lab / Hybridize-Functions-Refactoring / #3948 / 1
90%
main: 90%

README BADGES
x