#2214
79%
main: 80%

Ran 28 Jun 2026 11:09AM UTC

Jobs 1

Files 32

Run time 1min

Badge

Embed ▾

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

Build # #2214

Build Type

Pull #694

github

Committed by

khatchad

Commit Message

Add coverage for interprocedural and tuple-unpack tensor-parameter typing

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

Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01FuhM8SsTRB6BraLt3Ph7ZC

Pull Request Pull Request #694: Add coverage for interprocedural and tuple-unpack tensor-parameter typing

Coverage Stats

1665 of 2100 relevant lines covered (79.29%)

0.79 hits per line

Jobs

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

ponder-lab / Hybridize-Functions-Refactoring / #2214
79%
main: 80%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build #2214

ponder-lab / Hybridize-Functions-Refactoring / #2214 79% main: 80%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build #2214

ponder-lab / Hybridize-Functions-Refactoring / #2214
79%
main: 80%

README BADGES
x