11747779956
87%

Ran 08 Nov 2024 06:53PM UTC

Jobs 2

Files 60

Run time 1min

Badge

Embed ▾

Committed 08 Nov 2024 01:32PM UTC coverage: 90.53% (+0.006%) from 90.524%

Build # 11747779956

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%)

8565 of 9461 relevant lines covered (90.53%)

9192695.02 hits per line

Jobs

ID	Job ID	Ran	Files	Coverage
1	run-Debug - 11747779956.1	08 Nov 2024 07:16PM UTC	0	76.55	GitHub Action Run
2	run-Release - 11747779956.2	08 Nov 2024 06:53PM UTC	0	80.14	GitHub Action Run

Source Files on build 11747779956

Detailed source file information is not available for this build.

Alan-Jowett / ebpf-verifier / 11747779956
87%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 11747779956

Alan-Jowett / ebpf-verifier / 11747779956 87%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 11747779956

Alan-Jowett / ebpf-verifier / 11747779956
87%

README BADGES
x