Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Fix misleading instruction_count message #556

Merged
merged 1 commit into from
Dec 31, 2023
Merged

Conversation

dthaler
Copy link
Contributor

@dthaler dthaler commented Dec 31, 2023

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

Fixes #542

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

Fixes vbpf#542

Signed-off-by: Dave Thaler <[email protected]>
@coveralls
Copy link

coveralls commented Dec 31, 2023

Coverage Status

coverage: 89.501% (-0.001%) from 89.502%
when pulling 66128f2 on dthaler:termination
into d239aa3 on vbpf:main.

@elazarg elazarg merged commit 68951ab into vbpf:main Dec 31, 2023
13 checks passed
@dthaler dthaler deleted the termination branch December 31, 2023 23:38
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Regression in verifier output instruction count
3 participants