25039571607
86%

Ran 28 Apr 2026 07:33AM UTC

Jobs 2

Files 113

Run time 1min

Badge

Embed ▾

Committed 28 Apr 2026 07:22AM UTC coverage: 89.543% (-0.02%) from 89.565%

Build # 25039571607

Build Type

push

github

Committed by

web-flow

Commit Message

Classify errors as bugs vs runtime input errors (#1104)

- Introduces a shallow error hierarchy (`PrevailError`, `RuntimeInputError`, `InternalError`) in a new dependency-free header `crab_utils/prevail_errors.hpp`. The single load-bearing distinction is **bug vs runtime input error**; sub-classifying `RuntimeInputError` further is deferred until a handler differentiation justifies it.
- `main.cpp`'s top-level catch arms now distinguish the two: `InternalError` exits 2 with a "this is a bug; please file an issue" message; `RuntimeInputError` exits 1 with the existing `error: ...` shape.
- Adds missing handling at input boundaries (YAML file-open check, yaml-cpp wrapping with line/column context, assembly-parser numeric and lookup wrappers).
- Drops dead code (`SafeI64` / `num_safeint.hpp`) in a separate commit.

---------

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

Coverage Stats

104 of 144 new or added lines in 14 files covered. (72.22%)

1 existing line in 1 file now uncovered.

13786 of 15396 relevant lines covered (89.54%)

4386235.74 hits per line

Uncovered Changes

Lines	Coverage	∆	File
11	86.14	-0.38%	src/ir/parse.cpp
11	74.42	-1.03%	src/test/ebpf_yaml.cpp
7	83.67	0.0%	src/io/elf_reader.cpp
4	85.65	-0.37%	src/ir/marshal.cpp
2	90.24	0.0%	src/crab/type_domain.cpp
2	57.2	0.0%	src/printing.cpp
1	92.22	0.0%	src/crab/ebpf_transformer.cpp
1	88.45	0.29%	src/ir/cfg_builder.cpp
1	84.21	0.0%	src/string_constraints.hpp

Coverage Regressions

Lines	Coverage	∆	File
1	74.42	-1.03%	src/test/ebpf_yaml.cpp

Jobs

ID	Job ID	Ran	Files	Coverage
1	run-Debug - 25039571607.1	28 Apr 2026 09:41AM UTC	113	87.92	GitHub Action Run
2	run-Release - 25039571607.2	28 Apr 2026 07:32AM UTC	113	88.83	GitHub Action Run

vbpf / prevail / 25039571607
86%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Uncovered Changes

Coverage Regressions

Jobs

Source Files on build 25039571607

vbpf / prevail / 25039571607 86%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Uncovered Changes

Coverage Regressions

Jobs

Source Files on build 25039571607

vbpf / prevail / 25039571607
86%

README BADGES
x