11743097437
87%

Ran 08 Nov 2024 01:42PM UTC

Jobs 2

Files 60

Run time 1min

Badge

Embed ▾

Committed 08 Nov 2024 01:32PM UTC coverage: 90.54% (+0.008%) from 90.532%

Build # 11743097437

Build Type

push

github

Committed by

web-flow

Commit Message

Make the assertions part of a generalized instruction (#779)

Make the assertions part of the generalized instruction

Each guarded instruction is a pair (Instruction, vector<Assertion>).

Jump instructions are retained in the nondeterministic graph, since they store the preconditions of the jump

Signed-off-by: Elazar Gershuni <elazarg@gmail.com>

Run Details

141 of 156 new or added lines in 10 files covered. (90.38%)

8566 of 9461 relevant lines covered (90.54%)

9192694.84 hits per line

New Missed Lines in Diff

Lines	Coverage	∆	File
1	96.34	0.9%	src/assertions.cpp
5	72.77	0.21%	src/asm_cfg.cpp
9	54.69	0.37%	src/asm_ostream.cpp

Jobs

ID	Job ID	Ran	Files	Coverage
1	run-Release - 11743097437.1	08 Nov 2024 01:42PM UTC	217	80.15	GitHub Action Run
2	run-Debug - 11743097437.2	08 Nov 2024 02:04PM UTC	220	76.55	GitHub Action Run

vbpf / ebpf-verifier / 11743097437
87%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

New Missed Lines in Diff

Jobs

Source Files on build 11743097437

vbpf / ebpf-verifier / 11743097437 87%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

New Missed Lines in Diff

Jobs

Source Files on build 11743097437

vbpf / ebpf-verifier / 11743097437
87%

README BADGES
x