[SMTChecker] Refactor pointers
Open
easy difficulty
good first issue candidate
smt
- Dominant language
- C++
- Stars
- 25.7k
- Forks
- 6.2k
- Avg merge
- 1d 11h
- Merged PRs (30d)
- 21
Description
There are a lot of `shared_ptr` being used for `smt::Sort` where they could be raw pointers.
Contributor guide
Research direction
The issue points to the SMTChecker subsystem and shared_ptr uses for smt::Sort, but names no files, tests, or entry points. Start by locating those uses and understanding the ownership expectations for each one. Done means the appropriate pointers are refactored without changing SMTChecker behavior, with the relevant test suite passing.
Written by the indexing model from the issue text.
Assessment
- Tech stack
- cpp
- Domain
- compilers
- Issue type
- Refactor
- Difficulty
- 4/5
- Estimated time
- 3-5 days
- Activity status
- Stale
- Clarity
- Needs clarification
- Newbie friendliness
- 30/100