Skip to content

Booster flag to disable simplification before fall-back request #3825

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

Merged
merged 2 commits into from
Apr 24, 2024

Conversation

jberthold
Copy link
Member

Logs are showing that the simplification performed before fall-back execute requests is often not productive. This PR provides a server flag to switch it off and save the overhead.

OTOH, the simplification may prune spurious branches, saving a Branching re-execution in kore-rpc in some cases. Therefore the default behaviour is still to simplify before fallback requests.

Logs are showing that the simplification performed before fall-back
execute requests is often not productive. This PR provides a server
flag to switch it off and save the overhead.

OTOH, the simplification may prune spurious branches, saving a
`Branching` re-execution in `kore-rpc` in some cases. Therefore the
default behaviour is still to simplify before fallback requests.
@jberthold
Copy link
Member Author

We had such a change (without flag control) last year and found problems in KEVM tests.
It would be interesting to run KEVM and Kontrol tests with the new switch and with --fallback-on Aborted (not re-executing Stuck and Branching) to see whether any spurious results still exist.

@jberthold jberthold marked this pull request as ready for review April 23, 2024 23:24
@jberthold jberthold merged commit 588f287 into master Apr 24, 2024
@jberthold jberthold deleted the 3813-flag-to-disable-pre-fallback-simplification branch April 24, 2024 11:55
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.

3 participants