[SMTChecker] Contract invariants - format `abi` functions better
Open
smt
- Dominant language
- C++
- Stars
- 25.7k
- Forks
- 6.2k
- Avg merge
- 2d 19h
- Merged PRs (30d)
- 29
Description
From https://github.com/ethereum/solidity/pull/11451
ABI functions are a bit tricker to format, so we left that out of the first PR.
Contributor guide
Research direction
Start by reading the issue's referenced pull request, ethereum/solidity#11451, to understand the existing contract-invariant formatting change and what was omitted for ABI functions. Done means ABI functions are formatted consistently with the earlier work in the SMTChecker output.
Written by the indexing model from the issue text.
Assessment
- Tech stack
- cpp, solidity
- Domain
- compilers
- Issue type
- Feature
- Difficulty
- 4/5
- Estimated time
- 3-5 days
- Activity status
- Stale
- Clarity
- Needs clarification
- Newbie friendliness
- 25/100