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.

Sign up for GitHub

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

Jump to bottom

Make performance improving options default #1958

Closed
4 tasks
palinatolmach opened this issue Jul 18, 2023 · 1 comment
Closed
4 tasks

Make performance improving options default #1958

palinatolmach opened this issue Jul 18, 2023 · 1 comment
Assignees
@palinatolmach

Comments

@palinatolmach
Copy link
Contributor

palinatolmach commented Jul 18, 2023 •
edited
Loading

Related: #1520, #1963

We've observed that significant performance improvements (e.g., 2m50s instead of 4m30s) for Foundry proofs can be obtained by supplying the following set of flags/optimizations:

  • --max-depth equal to 25000
  • --no-break-on-calls
  • --use-booster (making booster the default is postponed till its behavior is stabilized)
  • infiniteGas cheatcode

Consider using these options by default.
@palinatolmach palinatolmach self-assigned this Jul 18, 2023
@palinatolmach palinatolmach mentioned this issue Jul 24, 2023
Closed
This was referenced Aug 23, 2023
Closed
Closed
Closed
@palinatolmach
Copy link
Contributor Author

Closed in favor of two separate issues, runtimeverification/kontrol#39 and runtimeverification/kontrol#38.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@palinatolmach palinatolmach

Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

Make performance improving options default runtimeverification/evm-semantics
1 participant
@palinatolmach