-
Notifications
You must be signed in to change notification settings - Fork 0
/
BACKLOG
41 lines (27 loc) · 1.04 KB
/
BACKLOG
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
# Cosas para que parezca una herramienta usable:
- shrinking
- establecer la semilla inicial
- repetir sólo los test que fallaron / el último que fallo
- integrar con coverage
- salida machine friendly
# Escribir tests. Ahora mismo los examples cubren muchos más casos que los tests.
# Completar documentación
- README.md
- HOW_TO_CONTRIBUTE
- CODE_OF_CONDUCT
# 1, 2, 3 responda otra vez
Lista de cosas que suele haber en proper y no estan planteadas
- frecuency
- recursion
# añadir parametro al cuatificador
Tiempo de ejecucion en vez de numero de samples.
O ambas y la que ocurra primero
# completar test
De los modulos domain y quantifier
# integrar con pytest
UPDATE: No parece posible
# repetir propiedad que falló
- hay que guardar en un fichero la lista de propiedades que fallaron en la última ejecución
- ¿ se guardaría en el directorio donde se llama ?
- el módulo random no permite obtener la semilla que se está usando en cada momento. Hay que
guardar el resultado de `random.get_state()`