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.
Sua test suite tem 94% de cobertura e zero falhas. Um motor de execução simbólica encontra um crash no seu código em menos de três segundos. O teste não está…