vbpf / prevail / 17890056096

push

github

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%)

8874 of 10039 relevant lines covered (88.4%)

8588250.74 hits per line