2
87%
main: 87%

Ran 25 Mar 2025 12:51AM UTC

Files 68

Run time 1s

Badge

Embed ▾

Committed 19 Mar 2025 11:53PM UTC coverage: 87.289% (-0.09%) from 87.379%

Job # 14048329585.2

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

8323 of 9535 relevant lines covered (87.29%)

4883237.01 hits per line

Alan-Jowett / ebpf-verifier / 14048329585 / 2
87%
main: 87%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job run-Release - 14048329585.2

Alan-Jowett / ebpf-verifier / 14048329585 / 2 87% main: 87%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job run-Release - 14048329585.2

Alan-Jowett / ebpf-verifier / 14048329585 / 2
87%
main: 87%

README BADGES
x