vbpf / prevail / 22153266880

push

github

refactor(conformance): Use parse_test_file directly with soundness checking

Replace string-based conformance testing with direct parsing and
soundness-based result verification:

- Use parse_test_file() from bpf_conformance_core to get test data directly
- Verify soundness: expected value must be within verifier's computed range
- Remove TEST_CONFORMANCE_RANGE and TEST_CONFORMANCE_TOP macros (no longer needed)
- Update run_conformance_test_case to accept std::span<const EbpfInst>
- Simplify CMakeLists.txt to only depend on bpf_conformance_core lib
- Remove conformance_check standalone CLI tool (no longer needed)
- Update bpf_conformance submodule to main

This approach correctly handles cases where the verifier produces ranges
instead of exact values, eliminating the need for special-case macros.

Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
Signed-off-by: Alan Jowett <alan.jowett@microsoft.com>

37 of 41 new or added lines in 2 files covered. (90.24%)

10060 of 11454 relevant lines covered (87.83%)

1317564.28 hits per line