Finish and verify z3 tests
Open
Nobody has claimed this yet.
- Dominant language
- Python
- Stars
- 53
- Forks
- 16
- PR merge metrics
- No merged PRs in 30d
Description
z3 testing hooks are incorrect/incomplete. Update and verify fidelity with OOPSLA 2018 paper
Contributor guide
No contributing guide indexed for this repository
First steps
- Read the whole issue, then the project's contributing guide.
- Comment on the issue to say you are picking it up — it saves two people doing the same work.
- Fork the repository and make your change on a branch.
- Open a pull request that references the issue number.
Research direction
Start by locating the z3 testing hooks and reading the OOPSLA 2018 paper referenced in the issue. Compare the hooks and existing z3 tests with the paper's described behavior, then verify that the tests accurately reflect the intended fidelity. Done means the incomplete or incorrect testing hooks are updated and the z3 tests pass against that reference.
Written by the indexing model from the issue text.
Assessment
- Tech stack
- python
- Domain
- compilers, testing-qa
- Issue type
- Bug
- Difficulty
- 5/5
- Estimated time
- Over a week
- Activity status
- Stale
- Clarity
- Needs clarification
- Newbie friendliness
- 25/100