Я новичок в KLEE. Я установил кли, правильно следовал инструкциям. если я запускаю программу из учебника: int get_sign(int x) { if (x == 0) return 0; if (x < 0) return -1; else return 1; } int main() { int a;...

Как я могу преобразовать несимволическую переменную (т.е. переменная не объявлена ​​символической во входной программе) в символическую в KLEE