Я хотел бы получить ограничения пути для каждой возможной ветви в программе.
Скажем, у меня есть простая программа
int x;
cin >> x;
if (x > 0) {
cout << "Path A";
}
else {
cout << "Path B";
}
Мне бы хотелось, чтобы моя программа проверки могла определить, есть ли в этой программе два возможных пути.
Условием для пути A является x > 0, а для пути B - x <= 0.
Я могу зарегистрировать обратный вызов для запуска при каждом разбиении путей с помощью checkBranchCondition, но есть ли способ получить условия пути?