Test-Driven Development Using `hypothesis` and `deal`
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
- Nueva funcionalidad
- Claridad
- Necesita aclaración
- Estado de actividad
- Estancado
- Stack tecnológico
- python
- Área
- testing-qa
Línea de trabajo
El issue no menciona ningún archivo, prueba ni punto de entrada en mesa-frames. Primero inspecciona la estructura de pruebas existente y las dependencias del proyecto; después, define qué código debería usar hypothesis y deal. El estado de finalización debe incluir un alcance acordado y las pruebas basadas en propiedades o de contrato correspondientes.
Escrito por el modelo de indexación a partir del texto del issue.
Descripción
hypothesis is a property-based testing library that generates test cases automatically, covering a wide range of input scenarios. This approach helps uncover edge cases and unexpected behaviors that might be missed with manually written tests.
deal is a contract-based programming library that enforces a Design by contract (DbC) approach for functions, specifying preconditions, postconditions, and invariants. This ensures that functions behave as expected, making the codebase more robust and predictable. Additionally, Deal has an experimental feature for formal verification, which provides mathematical proof of code correctness, further enhancing reliability.
- Lenguaje dominante
- Python
- Estrellas
- 44
- Forks
- 20
- Merge medio
- 1 min
- PR fusionados (30 d)
- 1
Preparar el entorno
- Sin Dockerfile ni archivo de Docker Compose
- Sin plantilla de pull request
- Leer la guía de contribución
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 mesa/mesa-frames
-
Mesa-frames 0.2.0Abierto
Dificultad 5/5 Más de una semana Aptitud para principiantes 25/100
mesa/mesa-frames#186 · 10 comentarios ·
-
feature triage
Dificultad 3/5 1-2 días Aptitud para principiantes 45/100
mesa/mesa-frames#177 · 1 comentario ·
-
[Bug]: Solving polars Deprecation warnings for `is_in`Posiblemente ocupada @adamamer20 la tomó hace 425 días. Abiertobug good first issue maintenance Sprints!
mesa/mesa-frames#174 · 2 comentarios · 1 asignado ·
-
[Enhancement] : agents selection in AgentsDf would be better if it returns agent_idx/name as keyAbiertoenhancement
Dificultad 3/5 1-2 días Aptitud para principiantes 40/100
mesa/mesa-frames#162 · 1 comentario ·
-
[Feature]: Easy seed accessor across the entire codebaseQuizá libre de nuevo @falloficaruss la tomó hace 324 días y no hay ningún pull request abierto. Abiertofeature good first issue Sprints!
Dificultad 4/5 3-5 días Aptitud para principiantes 35/100
mesa/mesa-frames#159 · 3 comentarios ·
Todos los issues de mesa/mesa-frames
Issues similares
-
Admin member of a research group cannot see the HX2 allocation until they've been added to itAbierto
Dificultad 2/5 1-3 horas Aptitud para principiantes 68/100
-
Dificultad 2/5 1-3 horas Aptitud para principiantes 70/100
Los mantenedores suelen responder en 2 días
-
Dificultad 2/5 1-3 horas Aptitud para principiantes 62/100
Los mantenedores suelen responder en 2 días
-
bug
Dificultad 2/5 1-3 horas Aptitud para principiantes 82/100
developmentseed/titiler-cmr#278 ·
Los mantenedores suelen responder en 1 día
-
Dificultad 2/5 1-3 horas Aptitud para principiantes 82/100
Los mantenedores suelen responder en 2 días