• Home
  • Features
  • Pricing
  • Docs
  • Announcements
  • Sign In

vbpf / prevail
87%
main: 89%

Build:
Build:
LAST BUILD BRANCH: analysis-engine
DEFAULT BRANCH: main
Repo Added 03 Apr 2025 12:08AM UTC
Token ENVZUPw7kXSVTNwI0SnEWS5mIrwoBd6UH regen
Build 654 Last
Files 106
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 failure-slice
branch: failure-slice
CHANGE BRANCH
x
Reset
Sync Branches
  • failure-slice
  • CMP0167-NEW
  • add-ifndefs
  • analysis-engine
  • arith
  • better-print
  • boost-headers-setup
  • btf_cycles
  • bump-catch2-to-3.9.1
  • bump-ebpf-samples
  • c++23
  • cache-ci
  • call-builtins
  • catch2-3.10.0
  • catch2-3.11.0
  • catch2-3.12.0
  • catch2-3.8.2
  • catch2-3.9.0
  • cfg-dir
  • claude/fix-close-after-widen-bug-Un4eW
  • cli11-v2.5.0
  • cli11-v2.6.1
  • co-re
  • coderabbitai/docstrings/aacd752
  • codex/add-catch2-test-suite-for-ebpfdomain
  • codex/add-catch2-test-suite-for-ebpftransformer
  • codex/create-agents.md-file
  • codex/optimize-test-execution-speed
  • compute-slice-from-label
  • coverage-repository
  • dependabot/github_actions/actions/cache-5
  • dependabot/github_actions/actions/checkout-5
  • dependabot/github_actions/actions/checkout-6
  • dependabot/github_actions/github/codeql-action-4
  • dependabot/submodules/ebpf-samples-058b5c0
  • dependabot/submodules/ebpf-samples-65b12c6
  • dependabot/submodules/ebpf-samples-6a81f8e
  • dependabot/submodules/external/bpf_conformance-057d705
  • dependabot/submodules/external/bpf_conformance-13029d4
  • dependabot/submodules/external/bpf_conformance-151bcd7
  • dependabot/submodules/external/bpf_conformance-15e0553
  • dependabot/submodules/external/bpf_conformance-3203c1f
  • dependabot/submodules/external/bpf_conformance-35b1eb1
  • dependabot/submodules/external/bpf_conformance-394a188
  • dependabot/submodules/external/bpf_conformance-4334864
  • dependabot/submodules/external/bpf_conformance-498ee85
  • dependabot/submodules/external/bpf_conformance-5d1c9f5
  • dependabot/submodules/external/bpf_conformance-5df55bc
  • dependabot/submodules/external/bpf_conformance-5fbe1c3
  • dependabot/submodules/external/bpf_conformance-6e648f2
  • dependabot/submodules/external/bpf_conformance-6fa6a20
  • dependabot/submodules/external/bpf_conformance-8670f73
  • dependabot/submodules/external/bpf_conformance-8b5330d
  • dependabot/submodules/external/bpf_conformance-8e6ed4a
  • dependabot/submodules/external/bpf_conformance-8f3c2fe
  • dependabot/submodules/external/bpf_conformance-93549c2
  • dependabot/submodules/external/bpf_conformance-d280fcd
  • dependabot/submodules/external/bpf_conformance-e208f52
  • dependabot/submodules/external/bpf_conformance-e2318cb
  • dependabot/submodules/external/bpf_conformance-f16282e
  • dependabot/submodules/external/libbtf-04281ee
  • dependabot/submodules/external/libbtf-0570bf0
  • dependabot/submodules/external/libbtf-11e41e2
  • dependabot/submodules/external/libbtf-1362c17
  • dependabot/submodules/external/libbtf-3115538
  • dependabot/submodules/external/libbtf-35e6a53
  • dependabot/submodules/external/libbtf-55c22b7
  • dependabot/submodules/external/libbtf-5efd6a0
  • dependabot/submodules/external/libbtf-643757e
  • dependabot/submodules/external/libbtf-6a09e51
  • dependabot/submodules/external/libbtf-846bf15
  • dependabot/submodules/external/libbtf-8588c66
  • dependabot/submodules/external/libbtf-9224231
  • dependabot/submodules/external/libbtf-ba5ab5e
  • dependabot/submodules/external/libbtf-cdf441a
  • dependabot/submodules/external/libbtf-e1e4e01
  • dependabot/submodules/external/libbtf-e3a95e2
  • dependabot/submodules/external/libbtf-f3864e6
  • dependabot/submodules/external/libbtf-f96afc3
  • detach-type-domain
  • docs
  • elazarg-patch-1
  • fast-slow-tests
  • fast-yaml
  • feature/abi-classes
  • feature/call-model
  • feature/callbacks
  • feature/conformance-direct-parse
  • feature/human-friendly-cli
  • feature/kfunc
  • feature/map-by-index-pseudos
  • feature/platform-tables
  • feature/pointer-types
  • feature/safety-parity
  • fix-c26817-range-for-copy
  • fix-ci-apt-update
  • fix-cmake-git-hooks
  • fix-issue-626-validmapkeyvalue-print
  • fix-ub-radix-substr
  • fix/assume-type-mismatch
  • fix/btf-map-fallback
  • fix/cfg-builder-seen-labels
  • fix/docs-sync-with-code
  • fix/finite-domain-32bit
  • fix/pentest-soundness-bugs
  • fix/phase6-helper-abi
  • fix/stack-numeric-imprecise-store
  • fix/tracing-context-descriptor
  • fix/widening-termination
  • fix_cmake_issue
  • fix_fuzzer_debug
  • fix_prevail_cmake
  • folder-structure
  • get_helper_prototype_use_fix
  • global-var
  • gsl-narrow-heap
  • hard-assert
  • int128
  • issue-728-observation-check
  • lazy-allocator-constant-limits
  • lazy-allocator-constant-limits-dco
  • lib
  • llm-context-doc
  • load-elf-fix
  • long-test-names
  • loop-mask-constraints
  • main
  • maintain_enum_order
  • map-count-fix
  • may_have_type
  • milestones
  • minmax
  • modernize-graph-iterators
  • more-proto
  • mov-imm-fix
  • msvc-debug-assert-handler
  • namespace
  • no-patricia
  • opt
  • prevail-mcp
  • prevail-namespace
  • project-name
  • proposal/diagnostic-reporting
  • remove-thresholds
  • rename-classes
  • rename-library
  • resolve_by_name
  • review-fixes
  • test-join
  • test/rfc9669-llm-conformance
  • tidy
  • type-domain-rcu
  • update_assertion_creation
  • update_cfg_computation
  • update_read_elf
  • user/anusa/array_opt
  • user/khorton/StringInvariant_to_use_moves
  • v0.2.0
  • verify-all-conformance
  • yaml-dynamic

13 Feb 2026 05:11PM UTC coverage: 86.86% (+0.5%) from 86.313%
21995768329

Pull #998

github

web-flow
Merge 65fb5a1f3 into 429d09d0b
Pull Request #998: Add failure slicing for verification errors

533 of 684 new or added lines in 8 files covered. (77.92%)

1 existing line in 1 file now uncovered.

10193 of 11735 relevant lines covered (86.86%)

2883677.29 hits per line

Relevant lines Covered
Build:
Build:
11735 RELEVANT LINES 10193 COVERED LINES
2883677.29 HITS PER LINE
Source Files on failure-slice
  • Tree
  • List 78
  • Changed 19
  • Source Changed 0
  • Coverage Changed 19
Coverage ∆ File Lines Relevant Covered Missed Hits/Line

Recent builds

Builds Branch Commit Type Ran Committer Via Coverage
21995768329 failure-slice Merge 65fb5a1f3 into 429d09d0b Pull #998 13 Feb 2026 05:24PM UTC web-flow github
86.86
21974328275 failure-slice Merge bec52d039 into f1f1d42d7 Pull #998 13 Feb 2026 04:22AM UTC web-flow github
87.32
21974062110 failure-slice Merge 4f612525d into f1f1d42d7 Pull #998 13 Feb 2026 04:08AM UTC web-flow github
87.32
21968098366 failure-slice Merge fcfbad30c into f1f1d42d7 Pull #998 12 Feb 2026 11:31PM UTC web-flow github
87.33
21967508779 failure-slice Merge c9d7e01b3 into f1f1d42d7 Pull #998 12 Feb 2026 11:08PM UTC web-flow github
87.36
21966793700 failure-slice Merge 0ed56d674 into f1f1d42d7 Pull #998 12 Feb 2026 10:42PM UTC web-flow github
87.35
See All Builds (635)

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.

Could not find badge in README.

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
  • Settings
  • Repo on GitHub
STATUS · Troubleshooting · Open an Issue · Sales · Support · CAREERS · ENTERPRISE · START FREE · SCHEDULE DEMO
ANNOUNCEMENTS · TWITTER · TOS & SLA · Supported CI Services · What's a CI service? · Automated Testing

© 2026 Coveralls, Inc