vbpf / prevail
87%

DEFAULT BRANCH: main
Repo Added
Token ENVZUPw7kXSVTNwI0SnEWS5mIrwoBd6UH regen
Build 926 Last
Files 79
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

LAST BUILD ON BRANCH main
branch: main
CHANGE BRANCH
x
Sync Branches

coverage: 86.649%. Remained the same
29191196250

push

github

web-flow 
Drive sample verification tests from the inventory; parallelize CI (#1195)

Full-program verification of the ebpf-samples corpus was 17 C++ files
generated by scripts/generate_verify_project_tests.py from
test-data/elf_inventory.json, then compiled into the test binary. The
generated files duplicated the inventory and could drift from it (there
was no check keeping them in sync), and the whole corpus ran in one
single-threaded Catch2 process.

Data-driven tests (dedup)
-------------------------
- Add src/test/test_verify_samples.cpp, which reads elf_inventory.json at
  runtime (via yaml-cpp; JSON is a subset of YAML) and registers one
  Catch2 DYNAMIC_SECTION per (object, section[, program]). Adding or
  retagging a sample is now a JSON edit: no code generation, no recompile.
- Delete the 17 generated test_verify_<project>.cpp files and
  scripts/generate_verify_project_tests.py. The inventory is the single
  source of truth. A coverage-guard test asserts the registered projects
  match the inventory exactly, so a new project cannot be left untested.
- Trim test_verify.hpp to the ELF-parse cache and the VerifyIssueKind
  taxonomy the driver and the multithreading test still use.

  Catch2's [!shouldfail] is a compile-time per-TEST_CASE tag and cannot be
  applied per data-driven entry, so an expected_failure (a safe program
  the verifier is currently too imprecise to accept) is asserted as
  *still rejected* -- an xfail/golden marker. A verifier improvement that
  starts accepting it fails the case, prompting an inventory update; a
  regression on a passing program fails it too.

Parallel CI (ctest)
-------------------
- Register ctest entries: one per project (sharded by tag) plus a "unit"
  entry for everything else. The shard list is derived from the inventory
  via string(JSON), so it cannot drift from the corpus.
- CI runs `ctest -j` instead of a single `bin/tests` process. Locally, a
  full run drops from ~104s to ~42s on 16 cores (bounded by t... (continued)

9313 of 10748 relevant lines covered (86.65%)

6392518.66 hits per line

Relevant lines Covered
10748 RELEVANT LINES 9313 COVERED LINES
6392518.66 HITS PER LINE
Source Files on main

Recent builds

Builds Branch Commit Type Ran Committer Via Coverage
29191196250 main Drive sample verification tests from the inventory; parallelize CI (#1195) Full-program verification of the ebpf-samples corpus was 17 C++ files generated by scripts/generate_verify_project_tests.py from test-data/elf_inventory.json, then compile... push web-flow github
86.65
29188734909 main Bump actions/upload-artifact from 4 to 7 Bumps [actions/upload-artifact](https://github.com/actions/upload-artifact) from 4 to 7. - [Release notes](https://github.com/actions/upload-artifact/releases) - [Commits](https://github.com/actions/upload... push elazarg github
86.65
29162777435 main Bump actions/checkout from 4 to 7 Bumps [actions/checkout](https://github.com/actions/checkout) from 4 to 7. - [Release notes](https://github.com/actions/checkout/releases) - [Changelog](https://github.com/actions/checkout/blob/main/CHANGELOG.md)... push elazarg github
86.65
29018859372 main Model direct socket reads conservatively After stale type-dependent numeric facts are discarded, previously hidden paths reach socket-returning helpers such as skc_lookup_tcp(). Those helpers can produce a non-null T_SOCKET, and real accepted pro... push elazarg github
86.65
28980383561 main Bump Catch2 to v3.15.2 Update the FetchContent pin from v3.14.0 to v3.15.2. Full test suite builds and passes (1811 cases, 417183 assertions, 0 real failures). Co-Authored-By: Claude Opus 4.8 <noreply@anthropic.com> Claude-Session: https://claud... push elazarg github
86.61
28972716456 main Replace Boost.Multiprecision with a portable int128 (#1189 phase 1) (#1190) Phase 1 of #1189 (hide Boost from prevail's public headers). num_big.hpp used boost::multiprecision::int128_t/uint128_t on compilers without a native __int128 (MSVC), whi... push web-flow github
86.61
28958483115 main Bump Docker base image to ubuntu:24.04 for CMake 3.24+ The Dockerfile built from ubuntu:22.04, whose apt `cmake` package is 3.22, but the top-level `cmake_minimum_required(VERSION 3.24)` rejects it, so `docker build` failed at the configure step.... push elazarg github
86.5
28936391633 main Fix test-generation/inventory script correctness gaps (#1184) * scripts: fix test-generation/inventory correctness gaps Address six correctness gaps in the test-generation and inventory scripts (issue #1171): 1. update_verify_expectations.py: r... push web-flow github
86.5
28936354882 main Enable install/consume CI and fix the packaging path (follow-up to #1173) (#1188) Follow-up to #1173 (the install-CI enablement and NuGet-Boost consume were deferred there). Enables .github/workflows/test-installation.yml and fixes the packaging ... push web-flow github
86.5
28931795960 main Assert sample-test infrastructure preconditions outside [!shouldfail] The [!shouldfail] expected-failure macros inverted the entire test result, so any assertion failure -- including infrastructure ones like REQUIRE(raw_progs.size() == count) or ... push elazarg github
86.5
See All Builds (904)

Badge your Repo: prevail

We detected this repo isn’t badged! Grab the embed code to the right, add it to your repo to show off your code coverage, and when the badge is live hit the refresh button to remove this message.
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

Refresh