Skip to content

Adding Deprecated CLI Attribute List #437

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

Open
yoav-el-certora wants to merge 1 commit into
base: master
Choose a base branch
from
Open

Adding Deprecated CLI Attribute List #437

Changes from all commits
Commits
Show all changes
1 commit
Select commit
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
1 change: 1 addition & 0 deletions docs/prover/changelog/prover_changelog.md
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -25,6 +25,7 @@ Prover Release Notes
- [feat] Report links generated by the CLI are private by default; use `"url_visibility": "public"` to share publicly. In CI runs, links remain public by default.
- [feat] Foundry remappings support: when `packages` is not set, the tool uses `forge remappings` to resolve package mappings from `foundry.toml`.
- [deprecation] Deprecated CLI options have been removed; update configuration files to use supported alternatives listed in the CLI options docs.
- The full list is as follows: • auto_nondet_difficult_internal_funcs • auto_nondet_minimal_difficulty • contract_compiler_skip_severe_warning_as_error • send_only • use_memory_safe_autofinders • disable_finder_friendly_optimizer • do_not_use_memory_safe_autofinders • finder_friendly_optimizer • assert_contracts • allow_solidity_calls_in_quantifiers
Copy link
Collaborator

@srunquist-certora srunquist-certora Sep 11, 2025 •
edited
Loading

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

To help the users and reduce support questions, would it make sense to present these as a table with columns "Deprecated Option" and "Suggested Alternative"?
E.g. for allow_solidity_calls_in_quantifiers, could say "Use direct storage access if possible". Some may be "None" or "N/A".

Copy link
Contributor

@urikirsh urikirsh Sep 18, 2025

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I support Shane's idea. Also, wrap the option names in code quotes to make them look nicer and so that the spell checker will know to ignore them.

Copy link
Contributor Author

@yoav-el-certora yoav-el-certora Sep 21, 2025

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

tbh I don't really know how to add a table in those .md files.
Can I provide the "Suggested Alternative" and either one of you help here?

Copy link
Contributor

@urikirsh urikirsh Sep 21, 2025

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

yes

- [deprecation] The `prover_arg` `-adaptiveSolverConfig false` has been replaced by `-backendStrategy singlerace`.

### Solana / Soroban
Expand Down
Loading