1
87%
main: 87%

Ran 20 Mar 2025 12:53AM UTC

Files 69

Run time 2s

Badge

Embed ▾

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

Job # 13958948275.1

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

8293 of 9633 relevant lines covered (86.09%)

4341788.79 hits per line

vbpf / ebpf-verifier / 13958948275 / 1
87%
main: 87%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job run-Debug - 13958948275.1

vbpf / ebpf-verifier / 13958948275 / 1 87% main: 87%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job run-Debug - 13958948275.1

vbpf / ebpf-verifier / 13958948275 / 1
87%
main: 87%

README BADGES
x