Я новичок в KLEE. Я установил klee, следуя инструкциям правильно. если я запустить программу из учебника: int get_sign(int x) {
if (x == 0)
return 0;
if (x < 0)
return -1;
else
retur
У меня возникли проблемы, воспроизводящий результат на рисунке 7 настоящей статьи: http://www.stanford.edu/~engler/klee-osdi-2008.pdf В частности, я попытался проверить команду «нолики» на главном UTI