#3955
90%

Ran 03 Nov 2026 07:02PM UTC

Jobs 1

Files 53

Run time 1min

Badge

Embed ▾

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

Build # #3955

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

Jobs

ID	Job ID	Ran	Files	Coverage
1	#3955.1	03 Nov 2026 07:02PM UTC	53	89.55

ponder-lab / Hybridize-Functions-Refactoring / #3955
90%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build #3955

ponder-lab / Hybridize-Functions-Refactoring / #3955 90%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build #3955

ponder-lab / Hybridize-Functions-Refactoring / #3955
90%

README BADGES
x