Sobre el fuzzing / pruebas basadas en propiedades: - Hay algo especial en lanzar miles y miles de entradas a una función y ver que funciona bien. - Es el equivalente de Prueba de Trabajo de la Verificación Formal. - Pocas cosas son tan satisfactorias como aumentar el número de iteraciones en pruebas generativas basadas en propiedades y encontrar invariantes para afirmar. - Sin las bibliotecas de pruebas basadas en propiedades, probablemente nunca me habría cambiado completamente a Rust, hace años. Un punto de inflexión extraño. De todos modos, este análisis me trae mucha alegría. Mira los resultados 👇