Как я понял, я не могу использовать klee для программ в C++14, так как llvm-3.4 не поддерживает его. Однако, я хотел бы знать, есть ли какой-либо способ, трюк, экспериментальная версия и т. Д., Что по
Я свежий для KLEE, и попытался установить и протестировать его. Я работал с шагами вручную, и, похоже, это не исключение, но как эта проблема возникла? здесь является ввод команды I: [email protected]
Недавно я играл с KLEE. Я выполнил документ «Building KLEE (LLVM 3.4)» и успешно выполнил все примеры в учебнике. Однако при выполнении моей собственной программы с помощью Клея: $ klee -load=/usr/lib