2
87%
main: 87%

Ran 08 Nov 2024 07:16PM UTC

Files 217

Run time 7s

Badge

Embed ▾

Committed 08 Nov 2024 01:32PM UTC coverage: 80.137% (+0.7%) from 79.437%

Job # 11747779956.2

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

8771 of 10945 relevant lines covered (80.14%)

4480842.81 hits per line

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

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job run-Release - 11747779956.2

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

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job run-Release - 11747779956.2

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

README BADGES
x