7372767046
87%

Ran 31 Dec 2023 09:26PM UTC

Jobs 2

Files 57

Run time 7s

Badge

Embed ▾

Committed 31 Dec 2023 09:14PM UTC coverage: 89.501% (-0.001%) from 89.502%

Build # 7372767046

Build Type

push

github

Committed by

elazarg

Commit Message

Fix misleading instruction_count message

Since PR #479, PREVAIL now computes a loop iteration count,
not an instruction_count, so update messages and symbols names
accordingly.

Fixes #542

Signed-off-by: Dave Thaler <dthaler1968@gmail.com>

Run Details

7519 of 8401 relevant lines covered (89.5%)

14437983.19 hits per line

Jobs

ID	Job ID	Ran	Files	Coverage
1	run-Release - 7372767046.1	31 Dec 2023 09:26PM UTC	0	79.42	GitHub Action Run
2	run-Debug - 7372767046.2	31 Dec 2023 10:06PM UTC	0	76.88	GitHub Action Run

Source Files on build 7372767046

Detailed source file information is not available for this build.

vbpf / ebpf-verifier / 7372767046
87%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 7372767046

vbpf / ebpf-verifier / 7372767046 87%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 7372767046

vbpf / ebpf-verifier / 7372767046
87%

README BADGES
x