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

vbpf / prevail / 17890056096
87%

Build:
DEFAULT BRANCH: main
Ran 21 Sep 2025 06:41AM UTC
Jobs 2
Files 72
Run time 1min
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

21 Sep 2025 06:25AM UTC coverage: 88.395% (+0.2%) from 88.18%
17890056096

push

github

web-flow
fix type-aware operator| (join) and operator<= (#915)

* fix join and subsumption for EbpfDomain
* make sure join and subsumption treat dependent kind variables precisely (as a Reduced Cartesian Power)
* add test_join.cpp
* add test_subsumption.cpp

Signed-off-by: Elazar Gershuni <elazarg@gmail.com>

* refactor and cleanup: selective_join

Signed-off-by: Elazar Gershuni <elazarg@gmail.com>

* fix documentations

Signed-off-by: Elazar Gershuni <elazarg@gmail.com>

* move using namespace dsl_syntax to inside tests

Signed-off-by: Elazar Gershuni <elazarg@gmail.com>

* address coderabbit's review

Signed-off-by: Elazar Gershuni <elazarg@gmail.com>

---------

Signed-off-by: Elazar Gershuni <elazarg@gmail.com>

295 of 303 new or added lines in 4 files covered. (97.36%)

13 existing lines in 5 files now uncovered.

8874 of 10039 relevant lines covered (88.4%)

8588250.74 hits per line

New Missed Lines in Diff

Lines Coverage ∆ File
8
77.65
1.28% src/crab/ebpf_domain.cpp

Uncovered Existing Lines

Lines Coverage ∆ File
1
89.34
0.0% src/crab/array_domain.cpp
1
81.58
-2.63% src/crab/finite_domain.hpp
2
88.41
-0.72% src/crab/type_domain.cpp
3
77.65
1.28% src/crab/ebpf_domain.cpp
6
75.93
-5.38% src/crab/add_bottom.hpp
Jobs
ID Job ID Ran Files Coverage
1 run-Debug - 17890056096.1 21 Sep 2025 07:25AM UTC 72
86.29
GitHub Action Run
2 run-Release - 17890056096.2 21 Sep 2025 06:41AM UTC 71
87.5
GitHub Action Run
Source Files on build 17890056096
  • Tree
  • List 72
  • Changed 8
  • Source Changed 0
  • Coverage Changed 8
Coverage ∆ File Lines Relevant Covered Missed Hits/Line
  • Back to Repo
  • 76acd5c3 on github
  • Prev Build on main (#17883274687)
  • Next Build on main (#18160654121)
  • Delete
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

© 2025 Coveralls, Inc