SMTChecker: Unify keywords for showing targets
- Dominant language
- C++
- Stars
- 25.7k
- Forks
- 6.2k
- Avg merge
- 2d 19h
- Merged PRs (30d)
- 29
Description
Currently, there are two CLI flags for showing results for individual targets: `--model-checker-show-proved-safe` and `--model-checker-show-unproved`.
It would be good to unify the format of these options and drop `safe` from the first one.
`--model-checker-show-proved` should be sufficient.
The same is true for the corresponding JSON options.
There was originally even a mismatch between the implementation and the documentation, see #https://github.com/ethereum/solidity/pull/15304
Contributor guide
Research direction
Search the compiler's CLI handling and JSON option definitions for --model-checker-show-proved-safe and --model-checker-show-unproved, then compare them with the documentation referenced in pull request #15304. Done means the corresponding CLI and JSON options use the unified proved/unproved naming consistently and the documentation matches the implementation.
Written by the indexing model from the issue text.
Assessment
- Tech stack
- cpp
- Domain
- compilers
- Issue type
- Feature
- Difficulty
- 3/5
- Estimated time
- 1-2 days
- Activity status
- Stale
- Clarity
- Mostly clear
- Newbie friendliness
- 45/100