[SMTChecker] Remove SMTChecker pragma
Open
breaking change :warning:
smt
- Dominant language
- C++
- Stars
- 25.7k
- Forks
- 6.2k
- Avg merge
- 1d 11h
- Merged PRs (30d)
- 21
Description
As described in the note in [the documentation](https://docs.soliditylang.org/en/latest/smtchecker.html#smtchecker-and-formal-verification), since version 0.8.5, the model checker got its own command-line/JSON options, and `pragma experimental SMTChecker` has been deprecated. It should be removed in `0.9`.
Contributor guide
Assessment
This issue has not been assessed yet.