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

vbpf / prevail / 24624911959
86%

Build:
DEFAULT BRANCH: main
Ran 19 Apr 2026 08:43AM UTC
Jobs 2
Files 106
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

19 Apr 2026 08:33AM UTC coverage: 89.023% (+0.006%) from 89.017%
24624911959

push

github

web-flow
Remove thread_local_options; pass options explicitly (#1092)

* Remove thread_local_options from ArrayDomain

Replace thread_local_options reads in array_domain.cpp with explicit
parameters: big_endian threaded through load, store, havoc, split_cell,
and split_number_var; total_stack_size derived from the ArrayDomain's
own BitsetDomain size via a new total_stack_size() accessor.

Add BitsetDomain::size() accessor. Update all EbpfTransformer call
sites to pass context.options.big_endian.

* Remove thread_local_options; pass options explicitly everywhere

Remove the thread_local_options variable, its extern declaration, and
all reads. Options now flow explicitly through all paths:

- analyze(prog, options) and verify(prog, options) are the entry points
- printing functions take print_line_info parameter
- cfg_builder no longer sets the thread-local
- Test macros and harnesses use local options variables
- YAML conformance tests pass options through stack_contents_invariant

The analyze(prog)/verify(prog) shims without options are removed.


---------

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

118 of 124 new or added lines in 9 files covered. (95.16%)

6 existing lines in 3 files now uncovered.

13406 of 15059 relevant lines covered (89.02%)

4479274.67 hits per line

Uncovered Changes

Lines Coverage ∆ File
5
57.71
0.0% src/printing.cpp
1
92.0
0.04% src/crab/ebpf_transformer.cpp

Coverage Regressions

Lines Coverage ∆ File
4
50.0
0.0% src/verifier.hpp
1
92.19
0.25% src/crab/bitset_domain.hpp
1
75.13
-0.19% src/test/ebpf_yaml.cpp
Jobs
ID Job ID Ran Files Coverage
1 run-Release - 24624911959.1 19 Apr 2026 08:43AM UTC 106
88.22
GitHub Action Run
2 run-Debug - 24624911959.2 19 Apr 2026 10:51AM UTC 106
87.28
GitHub Action Run
Source Files on build 24624911959
  • Tree
  • List 106
  • Changed 13
  • Source Changed 0
  • Coverage Changed 13
Coverage ∆ File Lines Relevant Covered Missed Hits/Line
  • Back to Repo
  • f5466bba on github
  • Prev Build on main (#24616572414)
  • Next Build on main (#24627035845)
  • 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