Символическое исполнение нашло целочисленное переполнение, которое пропустило моё покрытие тестами в 94%
Ваши модульные тесты проверяют конкретные входные данные. Символическое исполнение проверяет каждый возможный ввод. Вот как это работает, чего это стоит и с чего начать.
