13958948275
87%

Ran 20 Mar 2025 12:09AM UTC

Jobs 2

Files 69

Run time 1min

Badge

Embed ▾

Committed 19 Mar 2025 11:53PM UTC coverage: 88.194% (-0.5%) from 88.66%

Build # 13958948275

Build Type

push

github

Committed by

web-flow

Commit Message

Finite domain (#849)

* Move arithmetic and bit operations functions to finite_domain.cpp
* Remove operator-= (now havoc) and operator+= (now add_constraint)
* Abort early when registers are not usable; clear type variable instead of explicitly assigning T_UNINIT. Update YAML tests accordingly
---------
Signed-off-by: Elazar Gershuni <elazarg@gmail.com>

Run Details

847 of 898 new or added lines in 11 files covered. (94.32%)

57 existing lines in 8 files now uncovered.

8628 of 9783 relevant lines covered (88.19%)

9034663.84 hits per line

New Missed Lines in Diff

Lines	Coverage	∆	File
1	53.77	0.0%	src/asm_ostream.cpp
2	94.82	-0.24%	src/crab/split_dbm.cpp
4	76.58	-1.8%	src/crab/ebpf_domain.cpp
6	84.21		src/crab/finite_domain.hpp
16	96.28	-0.0%	src/crab/ebpf_transformer.cpp
22	96.37		src/crab/finite_domain.cpp

Uncovered Existing Lines

Lines	Coverage	∆	File
1	88.55	-0.23%	src/crab/array_domain.cpp
1	89.13	-0.43%	src/crab/type_domain.cpp
2	94.82	-0.24%	src/crab/split_dbm.cpp
3	81.31	-3.65%	src/crab/add_bottom.hpp
5	76.58	-1.8%	src/crab/ebpf_domain.cpp
7	96.28	-0.0%	src/crab/ebpf_transformer.cpp
19	77.63	-8.39%	src/asm_parse.cpp
19	52.5	-47.5%	src/crab/bitset_domain.cpp

Jobs

ID	Job ID	Ran	Files	Coverage
1	run-Debug - 13958948275.1	20 Mar 2025 12:52AM UTC	69	86.09	GitHub Action Run
2	run-Release - 13958948275.2	20 Mar 2025 12:09AM UTC	68	87.29	GitHub Action Run

vbpf / ebpf-verifier / 13958948275
87%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

New Missed Lines in Diff

Uncovered Existing Lines

Jobs

Source Files on build 13958948275

vbpf / ebpf-verifier / 13958948275 87%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

New Missed Lines in Diff

Uncovered Existing Lines

Jobs

Source Files on build 13958948275

vbpf / ebpf-verifier / 13958948275
87%

README BADGES
x