Finish and verify z3 tests
Ouverte
Personne n'a encore pris cette issue.
- Langage dominant
- Python
- Étoiles
- 53
- Forks
- 16
- Métriques de merge des PR
- Aucune PR mergée en 30 j
Description
z3 testing hooks are incorrect/incomplete. Update and verify fidelity with OOPSLA 2018 paper
Guide de contribution
Aucun guide de contribution indexé pour ce dépôt
Par où commencer
- Lisez l'issue en entier, puis le guide de contribution du projet.
- Signalez en commentaire que vous la prenez — cela évite que deux personnes fassent le même travail.
- Forkez le dépôt et travaillez sur une branche.
- Ouvrez une pull request qui référence le numéro de l'issue.
Piste de recherche
Commencez par localiser les hooks de test de z3 et lire l’article OOPSLA 2018 référencé dans l’issue. Comparez les hooks et les tests z3 existants avec le comportement décrit dans l’article, puis vérifiez que les tests reflètent correctement la fidélité attendue. La tâche est terminée lorsque les hooks de test incomplets ou incorrects sont mis à jour et que les tests z3 passent par rapport à cette référence.
Rédigé par le modèle d'indexation à partir du texte de l'issue.
Évaluation
- Stack technique
- python
- Domaine
- compilers, testing-qa
- Type d'issue
- Bug
- Difficulté
- 5/5
- Temps estimé
- Plus d'une semaine
- Activité
- À l'abandon
- Clarté
- À clarifier
- Accessibilité débutants
- 25/100