vbpf / prevail / 25039571607

push

github

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>

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

13786 of 15396 relevant lines covered (89.54%)

4386235.74 hits per line