#1496
72%

Ran 19 May 2026 07:38PM UTC

Jobs 1

Files 31

Run time 1min

Badge

Embed ▾

Committed 19 May 2026 07:29PM UTC coverage: 72.036%. Remained the same

Build # #1496

Build Type

push

travis-pro

Committed by

web-flow

Commit Message

Extend `testHasLikelyTensorParameter11` with per-parameter + input-signature assertions (#520)

First fixture of the precision-audit pattern (Project 5 / `Ariadne
precision audit via existing test fixtures`). Reads the `.py`'s
semantics — `add(tf.ones([1, 2]), tf.ones([2, 2]))` — and pins what a
static analysis *should* produce for the two parameters:

- `a`: `TensorType(FLOAT32, [1, 2])`
- `b`: `TensorType(FLOAT32, [2, 2])`

Layer 1 asserts these via `Parameter.getTensorTypes()`; Layer 2 asserts
the combined `Function.inferInputSignature()` output. Both pass against
the current Ariadne 0.44.0 + algorithm — no gap to file for this case.

Also static-imports `DType.FLOAT32` as `FLOAT32` and replaces the 14
existing call sites in the same file. Test bodies get less verbose with
the bare constant.

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

Coverage Stats

1185 of 1645 relevant lines covered (72.04%)

0.72 hits per line

Jobs

ID	Job ID	Ran	Files	Coverage
1	#1496.1	19 May 2026 07:38PM UTC	31	72.04

ponder-lab / Hybridize-Functions-Refactoring / #1496
72%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build #1496

ponder-lab / Hybridize-Functions-Refactoring / #1496 72%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build #1496

ponder-lab / Hybridize-Functions-Refactoring / #1496
72%

README BADGES
x