La ejecución simbólica encontró un integer overflow que mi cobertura de tests del 94% se perdió
Tus unit tests comprueban entradas específicas. La ejecución simbólica comprueba cada entrada posible. Así es como funciona, qué cuesta y por dónde empezar.
