Symbolische Ausführung hat einen Integer Overflow gefunden, den meine 94-%-Testabdeckung übersehen hat
Ihre Unit-Tests prüfen spezifische Eingaben. Symbolische Ausführung prüft jede mögliche Eingabe. So funktioniert es, was es kostet und wo Sie anfangen.
