¡Estamos orgullosos de anunciar que la Invariant Suite que escribimos para Superform ahora es pública! La suite es el producto de un compromiso de pruebas invariantes de 4 semanas y una auditoría de 3 semanas que se realizaron en paralelo. Miles de líneas de código, 120 propiedades probadas. ¡Enlace en nuestra página de auditorías!