Alan-Jowett / ebpf-verifier / 22316701280
89%

DEFAULT BRANCH: main
Ran
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
coverage: 88.93% (+0.9%) from 88.002%
22316701280

push

github

web-flow 
Human-friendly CLI output for bin/prevail (#1042)

* Replace CSV output with human-friendly PASS/FAIL CLI output

The default output was `{0|1},{seconds},{memory_kb}` — a CSV row for
benchmarking scripts that is unfriendly for humans. Benchmarking is
better done externally (time, /usr/bin/time -v).

New output: `PASS: section/function` or `FAIL: section/function` with
the first error and a hint line pointing to --failure-slice / -v.
Add -q/--quiet (exit code only) and --cfg (replaces --domain cfg).

Remove dead code: --domain option (linux, stats, zoneCrab selectors),
linux_verifier, memsize helpers, collect_stats/stats_headers, fnv1a64,
@headers special filename, bin/check alias, and stale benchmark scripts.

Move src/main/check.cpp → src/main.cpp (simplified, rewritten).

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

* Graduate loop3.o from skip to expected failure

The >4x performance improvement means loop3.o no longer hangs.
It now completes quickly but is rejected due to type precision
loss through the loop join (VerifierTypeTracking).

* Remove redundant install exclude, fix doc path

- Remove `PATTERN "main.cpp" EXCLUDE` from install — the glob only
  matches *.hpp/*.h so main.cpp would never be included anyway.
- Fix `./prevail` → `./bin/prevail` in docs/architecture.md for
  consistency with the actual binary location.

---------

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

1 of 1 new or added line in 1 file covered. (100.0%)

198 existing lines in 11 files now uncovered.

13159 of 14797 relevant lines covered (88.93%)

4658715.43 hits per line

Uncovered Existing Lines

Lines Coverage ∆ File
1
88.2
 0.77% src/crab/type_to_num.cpp
1
99.89
 0.08% src/test/test_marshal.cpp
6
81.98
 0.43% src/linux/linux_platform.cpp
7
80.93
 -2.33% src/crab/ebpf_domain.cpp
7
84.03
 0.0% src/ir/syntax.hpp
11
95.16
 0.52% src/ir/unmarshal.cpp
11
94.12
 -0.39% src/test/test_failure_slice.cpp
20
89.76
 -1.77% src/crab/ebpf_checker.cpp
27
95.46
 -0.11% src/crab/finite_domain.cpp
44
56.03
 1.35% src/linux/kfunc.cpp
63
91.37
 -0.02% src/crab/ebpf_transformer.cpp
Jobs
ID Job ID Ran Files Coverage
1 run-Debug - 22316701280.1 106
87.1
 GitHub Action Run
2 run-Release - 22316701280.2 106
88.16
 GitHub Action Run
Source Files on build 22316701280