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

Jobs

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

Source Files on build 11743097437

Detailed source file information is not available for this build.

vbpf / ebpf-verifier / 11743097437
87%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 11743097437

vbpf / ebpf-verifier / 11743097437 87%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 11743097437

vbpf / ebpf-verifier / 11743097437
87%

README BADGES
x