8000 Correctly print and return partials path logs when symbolic exploration is done by gustavo-grieco · Pull Request #762 · ethereum/hevm · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

Correctly print and return partials path logs when symbolic exploration is done #762

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.

Sign up for GitHub

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

Already on GitHub? Sign in to your account

Jump to bottom
Open
wants to merge 1 commit into
base: main
Choose a base branch
from
Open

Correctly print and return partials path logs when symbolic exploration is done #762

wants to merge 1 commit into from
+10 −4

Conversation

gustavo-grieco
Copy link
Collaborator

Description

This small PR contains two changes:

  1. It makes sure partial path warnings are correctly printed when debug is true (this was incorrectly refactored)
  2. It returns the list of logs to the caller can decide what to do. Typically, if you want to perform verification of some code, you are expecting that the partial log is empty when the exploration is done.

Checklist

  • tested locally
  • added automated tests
  • updated the docs
  • updated the changelog

@gustavo-grieco gustavo-grieco marked this pull request as ready for review June 9, 2025 18:02
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
1 participant
@gustavo-grieco
0