Make SMTChecker tests use the required SMTEngine
Open
enhancement
testing :hammer:
- Dominant language
- TypeScript
- Stars
- 1.5k
- Forks
- 349
- Avg merge
- 8m
- Merged PRs (30d)
- 1
Description
Currently tests that use SMTEngine are skipped.
Contributor guide
No contributing guide indexed for this repository
Research direction
Locate the SMTChecker tests that currently use SMTEngine and are skipped, then inspect how their required SMTEngine is selected or configured. The work is done when those tests run with the required engine instead of being skipped and pass successfully.
Written by the indexing model from the issue text.
Assessment
- Tech stack
- solidity, typescript
- Domain
- compilers, testing
- Issue type
- Refactor
- Difficulty
- 3/5
- Estimated time
- 1-2 days
- Activity status
- Stale
- Clarity
- Needs clarification
- Newbie friendliness
- 35/100