Execução Simbólica Encontrou um Integer Overflow que Meus 94% de Cobertura de Testes Deixaram Passar
Seus unit tests verificam entradas específicas. A execução simbólica verifica todas as entradas possíveis. Veja como funciona, o que custa e por onde começar.
