17890056096

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

Build # 17890056096

Build Type

push

github

Committed by

web-flow

Commit Message

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>

Coverage Stats

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

Source File
Press 'n' to go to next uncovered line, 'b' for previous

89.34

/src/crab/array_domain.cpp

Build SHA Not Found

The commit SHA "76acd5c3000792e2310975f0837dd4cd31ad91ff" was not found in your repository, so the file cannot be loaded. This may be because you posted from a local development environment, or your CI created an ephemeral commit.

vbpf / prevail / 17890056096

Source File Press 'n' to go to next uncovered line, 'b' for previous

Build SHA Not Found

Source File
Press 'n' to go to next uncovered line, 'b' for previous