#2216
80%

Ran 28 Jun 2026 11:19AM UTC

Jobs 1

Files 32

Run time 1min

Badge

Embed ▾

Committed 28 Jun 2026 11:11AM UTC coverage: 79.286%. Remained the same

Build # #2216

Build Type

push

github

Committed by

web-flow

Commit Message

Add coverage for interprocedural and tuple-unpack tensor-parameter typing (#694)

The suite had a single parameter-from-argument test (`testParameterTypedFromArgumentNotUse`).
Add five tests asserting the consumer classifies a parameter as tensor-typed when it receives a
tensor via: a direct argument to an instance method, a derived argument to a module function and
to a method, and a value tuple-unpacked from a Keras `__call__` and from a plain method call.

These are the single-module cases the consumer handles correctly; the full-program multi-hop
counterpart is the under-approximation tracked in wala/ML#618.

Closes #691


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

Co-authored-by: Claude Opus 4.8 (1M context) <noreply@anthropic.com>

Coverage Stats

1665 of 2100 relevant lines covered (79.29%)

0.79 hits per line

Jobs

ID	Job ID	Ran	Files	Coverage
1	#2216.1	28 Jun 2026 11:19AM UTC	32	79.29

ponder-lab / Hybridize-Functions-Refactoring / #2216
80%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build #2216

ponder-lab / Hybridize-Functions-Refactoring / #2216 80%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build #2216

ponder-lab / Hybridize-Functions-Refactoring / #2216
80%

README BADGES
x