1
81%
main: 83%

Ran 09 Jul 2026 03:21PM UTC

Files 32

Run time 2s

Badge

Embed ▾

Committed 09 Jul 2026 03:16PM UTC coverage: 81.091% (+0.5%) from 80.547%

Job # #2394.1

Build Type

Pull #750

github

Committed by

khatchad

Commit Message

Note the ⊤-source dependency on wala/ML#539 in the fixture

The testNumpyOnTopShape fixture relies on tf.constant(np.array(<literal>))
being typed ⊤. Flag that dependency inline so that when wala/ML#539 (reopened)
infers the literal's shape, whoever fixes it sees the fixture must switch to
another deterministic ⊤ source.

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

Pull Request Pull Request #750: Make the parameter-flow numpy precondition per-dimension shape-aware

Coverage Stats

2067 of 2549 relevant lines covered (81.09%)

0.81 hits per line

ponder-lab / Hybridize-Functions-Refactoring / #2394 / 1
81%
main: 83%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job #2394.1

ponder-lab / Hybridize-Functions-Refactoring / #2394 / 1 81% main: 83%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job #2394.1

ponder-lab / Hybridize-Functions-Refactoring / #2394 / 1
81%
main: 83%

README BADGES
x