L'exécution symbolique a trouvé un débordement d'entier que mes 94 % de couverture de tests ont manqué
Vos tests unitaires vérifient des entrées spécifiques. L'exécution symbolique vérifie toutes les entrées possibles. Voici comment ça marche, ce que ça coûte, et par où commencer.
