|
Ran
|
Jobs
1
|
Files
54
|
Run time
1min
|
Badge
README BADGES
|
push
github
Bump Ariadne to 0.52.115 (#1205) * Build against Ariadne's 0.52.115-SNAPSHOT The snapshot is the one Ariadne's continuous integration publishes from its master branch, so this branch's suite runs against the engine the next release will ship. Tycho 5.0.4 wraps a remote timestamped snapshot under a version below the one this project imports, so the target restores the base-version wrap instructions until the release replaces the snapshot. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_01NTnpjPjJj2aZy1ZkUD1eAn * Ask the engine for a dataset component's elements in one query Classifying a parameter asked the engine whether its local is a dataset element's structured component, and then asked for the local's elements, which repeats that question inside the engine. The engine now answers both at once, so each local is dispatched once. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_01NTnpjPjJj2aZy1ZkUD1eAn * Record each subject's depth-cut reads in the results The engine now answers a read after the analysis as unknown once it nests deeper than its read depth limit, and counts each such cut (wala/ML#1186). The evaluator records the count's change across each subject in a new `depth-cut reads` column of `results.csv`, so a run shows which subjects' answers the limit may have decided. Nothing else changes. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_01NTnpjPjJj2aZy1ZkUD1eAn * Move the depth-cut column to its own pull request The column is a feature of its own, not part of the bump, so it moves to a pull request stacked on this one. This reverts commit 43dde8c40. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_01NTnpjPjJj2aZy1ZkUD1eAn * Move the one-query dataset-component change to its own pul... (continued)
6015 of 6719 relevant lines covered (89.52%)
0.9 hits per line
| ID | Job ID | Ran | Files | Coverage | |
|---|---|---|---|---|---|
| 1 | #4033.1 | 54 |
89.52
|
| Coverage | ∆ | File | Lines | Relevant | Covered | Missed | Hits/Line |
|---|