Finish and verify z3 tests
Nadie ha tomado este issue todavía.
Evaluación
- Dificultad
- 5/5
- Tiempo estimado
- Más de una semana
- Aptitud para principiantes
- 25/100
- Tipo de issue
- Error
- Claridad
- Necesita aclaración
- Estado de actividad
- Estancado
- Stack tecnológico
- python
- Área
- compilers, testing-qa
Línea de trabajo
Comienza localizando los hooks de testing de z3 y leyendo el paper de OOPSLA 2018 referenciado en el issue. Compara los hooks y los tests existentes de z3 con el comportamiento descrito en el paper y, después, verifica que los tests reflejen con precisión la fidelidad prevista. La tarea estará terminada cuando los hooks de testing incompletos o incorrectos se hayan actualizado y los tests de z3 pasen contra esa referencia.
Escrito por el modelo de indexación a partir del texto del issue.
Descripción
z3 testing hooks are incorrect/incomplete. Update and verify fidelity with OOPSLA 2018 paper
- Lenguaje dominante
- Python
- Estrellas
- 53
- Forks
- 16
- Métricas de merge de PR
- Sin PR fusionados en 30 d
Preparar el entorno
Aún no hemos revisado los archivos de configuración de este proyecto. Empieza por su README y consulta nuestra guía para la primera contribución para los pasos generales.
Primeros pasos
- Lee el issue completo y luego la guía de contribución del proyecto.
- Comenta en el issue que vas a ocuparte — evita que dos personas hagan lo mismo.
- Haz un fork del repositorio y trabaja en una rama.
- Abre un pull request que haga referencia al número del issue.
Más de lilott8/BioScript
-
update readmeAbierto
Dificultad 1/5 Menos de una hora Aptitud para principiantes 62/100
-
Functions are brokenAbierto
Dificultad 4/5 3-5 días Aptitud para principiantes 25/100
-
bug
Dificultad 3/5 1-2 días Aptitud para principiantes 35/100
-
enhancement
Dificultad 5/5 Más de una semana Aptitud para principiantes 25/100
-
bug good first issue
Dificultad 3/5 1-2 días Aptitud para principiantes 48/100
Todos los issues de lilott8/BioScript
Issues similares
-
bug status/needs-triage
Dificultad 2/5 1-3 horas Aptitud para principiantes 86/100
prowler-cloud/prowler#12887 · 1 comentario ·
Los mantenedores suelen responder en 1 día
-
area: desktop platform: macos priority: p3 status: ready type: enhancement
Dificultad 1/5 Menos de una hora Aptitud para principiantes 92/100
use-agent-os/agent-os#3484 ·
Los mantenedores suelen responder en 2 días
-
bug
Dificultad 2/5 1-3 horas Aptitud para principiantes 86/100
open-telemetry/opentelemetry-python-contrib#5113 · 2 comentarios · 2 reacciones ·
Los mantenedores suelen responder en 1 día
-
external
Dificultad 2/5 1-3 horas Aptitud para principiantes 68/100
langchain-ai/docs#6255 ·
Los mantenedores suelen responder en 1 día
-
Dificultad 2/5 1-3 horas Aptitud para principiantes 72/100
Los mantenedores suelen responder en 1 día