22153083365
88%

Ran 18 Feb 2026 06:59PM UTC

Jobs 2

Files 78

Run time 1min

Badge

Embed ▾

Committed 18 Feb 2026 06:48PM UTC coverage: 87.837% (+0.7%) from 87.142%

Build # 22153083365

Build Type

push

github

Committed by

web-flow

Commit Message

Replace zone-based TypeDomain with DSU + bitset implementation (#1011)

The zone-based TypeDomain encoded types as integers and tracked them using
a numeric abstract domain (DBM/zones). Since zones are convex, joining
non-adjacent types like {map_fd, shared} would include all intermediate
types as spurious possibilities, losing precision.

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

Run Details

1367 of 1440 new or added lines in 17 files covered. (94.93%)

8 existing lines in 4 files now uncovered.

10089 of 11486 relevant lines covered (87.84%)

886886.58 hits per line

New Missed Lines in Diff

Lines	Coverage	∆	File
1	88.37		src/crab/type_to_num.hpp
1	80.23	-0.38%	src/ir/parse.cpp
2	88.64		src/crab/type_to_num.cpp
6	76.8	0.19%	src/crab/ebpf_domain.cpp
24	93.16	-0.09%	src/crab/ebpf_transformer.cpp
39	90.14	3.77%	src/crab/type_domain.cpp

Uncovered Existing Lines

Lines	Coverage	∆	File
1	51.03	-0.21%	src/printing.cpp
2	90.14	3.77%	src/crab/type_domain.cpp
2	91.18	-2.94%	src/crab/var_registry.cpp
3	90.96	-0.7%	src/crab/zone_domain.cpp

Jobs

ID	Job ID	Ran	Files	Coverage
1	run-Debug - 22153083365.1	18 Feb 2026 07:37PM UTC	78	85.83	GitHub Action Run
2	run-Release - 22153083365.2	18 Feb 2026 06:59PM UTC	78	86.99	GitHub Action Run

vbpf / prevail / 22153083365
88%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

New Missed Lines in Diff

Uncovered Existing Lines

Jobs

Source Files on build 22153083365

vbpf / prevail / 22153083365 88%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

New Missed Lines in Diff

Uncovered Existing Lines

Jobs

Source Files on build 22153083365

vbpf / prevail / 22153083365
88%

README BADGES
x