vbpf / prevail

87%

main: 87%

LAST BUILD ON BRANCH llm-context-doc

branch: llm-context-doc

CHANGE BRANCH

x

Reset

Sync Branches

• llm-context-doc
• CMP0167-NEW
• arith
• better-print
• btf_cycles
• bump-catch2-to-3.9.1
• c++23
• cache-ci
• 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
• 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/external/bpf_conformance-057d705
• dependabot/submodules/external/bpf_conformance-13029d4
• dependabot/submodules/external/bpf_conformance-151bcd7
• dependabot/submodules/external/bpf_conformance-3203c1f
• dependabot/submodules/external/bpf_conformance-35b1eb1
• 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-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-11e41e2
• dependabot/submodules/external/libbtf-1362c17
• dependabot/submodules/external/libbtf-3115538
• dependabot/submodules/external/libbtf-35e6a53
• dependabot/submodules/external/libbtf-5efd6a0
• dependabot/submodules/external/libbtf-643757e
• dependabot/submodules/external/libbtf-846bf15
• dependabot/submodules/external/libbtf-8588c66
• dependabot/submodules/external/libbtf-9224231
• 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
• failure-slice
• fast-slow-tests
• fix-ci-apt-update
• fix-cmake-git-hooks
• fix-issue-626-validmapkeyvalue-print
• fix-ub-radix-substr
• fix/cfg-builder-seen-labels
• fix_cmake_issue
• fix_fuzzer_debug
• fix_prevail_cmake
• folder-structure
• global-var
• gsl-narrow-heap
• hard-assert
• issue-728-observation-check
• lazy-allocator-constant-limits
• lazy-allocator-constant-limits-dco
• lib
• loop-mask-constraints
• main
• maintain_enum_order
• may_have_type
• milestones
• minmax
• more-proto
• namespace
• opt
• prevail-namespace
• project-name
• remove-thresholds
• rename-classes
• rename-library
• resolve_by_name
• test-join
• test/rfc9669-llm-conformance
• tidy
• update_assertion_creation
• update_cfg_computation
• update_read_elf
• user/khorton/StringInvariant_to_use_moves
• verify-all-conformance
• yaml-dynamic

Build # 21956093524

Build Type

Pull #996

github

Committed by web-flow

Commit Message

Merge aaa308dad into f1f1d42d7

Pull Request Pull Request #996: Add LLM context document for verification failure diagnosis

Run Details

9370 of 10797 relevant lines covered (86.78%)

3129996.07 hits per line