• Home
  • Features
  • Pricing
  • Docs
  • Announcements
  • Sign In

vbpf / prevail / 24861555409
86%

Build:
DEFAULT BRANCH: main
Ran 23 Apr 2026 10:25PM UTC
Jobs 2
Files 107
Run time 1min
Badge
Embed ▾
README BADGES
x

If you need to use a raster PNG badge, change the '.svg' to '.png' in the link

Markdown

Textile

RDoc

HTML

Rst

23 Apr 2026 10:14PM UTC coverage: 89.214% (+0.1%) from 89.067%
24861555409

push

github

elazarg
Decompose Program::from_sequence into named preparation passes (#1081)

Extract the pipeline inside Program::from_sequence into individually
documented passes so the soundness-relevant transformations are easier
to audit. from_sequence now reads as orchestration.

Passes, in order:
  pass_validate_instruction_support, pass_resolve_kfunc_calls,
  pass_lower_pseudo_loads, pass_populate_nodes, pass_connect_edges,
  pass_inline_local_calls, pass_validate_tail_call_depth,
  pass_compute_callback_metadata, pass_insert_termination_counters,
  pass_extract_assertions.

Each pass has a header comment stating Reads / Writes / Throws /
Invariant. Ordering asserts guard pass_connect_edges and
pass_inline_local_calls against mis-sequencing.

Add src/test/test_cfg_builder_passes.cpp with 13 targeted tests for
invariants that were previously implicit (empty sequence rejection,
Assume materialization, jump-to-undefined / fallthrough rejection,
LoadPseudo VARIABLE_ADDR / CODE_ADDR / MAP_BY_IDX handling, callback
metadata filtering, loop-counter insertion, per-label assertions).

Co-Authored-By: Claude Opus 4.7 (1M context) <noreply@anthropic.com>
Signed-off-by: Elazar Gershuni <elazarg@gmail.com>

223 of 224 new or added lines in 2 files covered. (99.55%)

13606 of 15251 relevant lines covered (89.21%)

4424424.55 hits per line

Uncovered Changes

Lines Coverage ∆ File
1
99.31
src/test/test_cfg_builder_passes.cpp
Jobs
ID Job ID Ran Files Coverage
1 run-Debug - 24861555409.1 23 Apr 2026 11:23PM UTC 107
87.49
GitHub Action Run
2 run-Release - 24861555409.2 23 Apr 2026 10:25PM UTC 107
88.43
GitHub Action Run
Source Files on build 24861555409
  • Tree
  • List 107
  • Changed 2
  • Source Changed 0
  • Coverage Changed 2
Coverage ∆ File Lines Relevant Covered Missed Hits/Line
  • Back to Repo
  • b47a1a52 on github
  • Prev Build on main (#24833288113)
  • Next Build on main (#24885662803)
  • Delete
STATUS · Troubleshooting · Open an Issue · Sales · Support · CAREERS · ENTERPRISE · START FREE · SCHEDULE DEMO
ANNOUNCEMENTS · TWITTER · TOS & SLA · Supported CI Services · What's a CI service? · Automated Testing

© 2026 Coveralls, Inc