Условия пути от вызова к checkBranchCondition - PullRequest
Новая
       56

Условия пути от вызова к checkBranchCondition

0 голосов
/ 10 мая 2018

Я хотел бы получить ограничения пути для каждой возможной ветви в программе.

Скажем, у меня есть простая программа 

int x;
cin >> x;

if (x > 0) {
    cout << "Path A";
}
else {
    cout << "Path B";
}

Мне бы хотелось, чтобы моя программа проверки могла определить, есть ли в этой программе два возможных пути.

Условием для пути A является x > 0, а для пути B - x <= 0.

Я могу зарегистрировать обратный вызов для запуска при каждом разбиении путей с помощью checkBranchCondition, но есть ли способ получить условия пути?

...