vbpf / prevail
87%

DEFAULT BRANCH: main
Repo Added
Token ENVZUPw7kXSVTNwI0SnEWS5mIrwoBd6UH regen
Build 928 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.742% (+0.09%) from 86.649%
29319503431

push

github

elazarg 
Diff YAML invariants by line set instead of lattice subtraction

The YAML test harness renders each expected/actual post-invariant diff via
StringInvariant::operator-, which special-cased bottom by returning bottom().
Because StringInvariant::empty() counts bottom (`_|_`) as non-empty, a matching
`_|_`-vs-`_|_` comparison produced `actual - expected == bottom` and
`expected - actual == bottom`, so print_failure listed the identical `_|_` under
both "Unexpected properties" and "Unseen properties" even though the invariants
matched.

The underlying issue is that a diff result is not an invariant: typing it as the
lattice StringInvariant forced operator- to reason about a bottom sentinel and
about the constraint-set-vs-lattice duality. Replace that with the same honest
representation already used for the messages diff.

Add StringInvariant::to_lines(), which renders an invariant as its set of text
lines (bottom -> the single line "_|_", exactly the form read_invariant parses
back into bottom; non-bottom -> its constraint lines). Change Failure::invariant
to Diff<std::set<std::string>> and diff via the ordinary set difference already
used for messages, with no special-casing of bottom. `_|_` now appears only when
one side genuinely is bottom and the other is not.

Remove the now-unused StringInvariant::operator-. Add a regression test covering
to_lines() and the bottom/non-bottom diff cases.

Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01PWoziCvt88zfAvcCqTshPo
Signed-off-by: Elazar Gershuni <elazarg@gmail.com>

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

1 existing line in 1 file now uncovered.

9317 of 10741 relevant lines covered (86.74%)

6396402.75 hits per line

Relevant lines Covered
10741 RELEVANT LINES 9317 COVERED LINES
6396402.75 HITS PER LINE
Source Files on main

Recent builds

Builds Branch Commit Type Ran Committer Via Coverage
29319503431 main Diff YAML invariants by line set instead of lattice subtraction The YAML test harness renders each expected/actual post-invariant diff via StringInvariant::operator-, which special-cased bottom by returning bottom(). Because StringInvariant::empt... push elazarg github
86.74
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
See All Builds (906)

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