We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
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
max_depth = 25000
no-break-on-calls
To improve the default observable performance of KEVM, we should make --no-break-on-calls default and increase default --max-depth to 25000.
--no-break-on-calls
--max-depth
25000
This change demonstrates the disagreement in the booster and legacy backends behavior and needs further investigation.
The text was updated successfully, but these errors were encountered:
Other options we might want to make default: --fail-fast, --counterexample-information.
--fail-fast
--counterexample-information
Sorry, something went wrong.
--fail-fast, --counterexample-information, --no-break-on-calls were made the default in runtimeverification/evm-semantics#2258.
palinatolmach
No branches or pull requests
To improve the default observable performance of KEVM, we should make
--no-break-on-calls
default and increase default--max-depth
to25000
.This change demonstrates the disagreement in the booster and legacy backends behavior and needs further investigation.
The text was updated successfully, but these errors were encountered: