What is the llvm version that klee works with?

[yurivict]

It breaks with llvm-60:

/usr/ports/security/klee/work/klee-1.4.0/tools/kleaver/main.cpp:403:43: error: too few arguments to function call, at least argument 'Argv0' must be specified
  llvm::sys::PrintStackTraceOnErrorSignal();
  ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ ^

It breaks with lvm-50 and llvm-40:

/usr/ports/security/klee/work/klee-1.4.0/include/klee/Internal/System/Time.h:13:10: fatal error: 'llvm/Support/TimeValue.h' file not found
#include <llvm/Support/TimeValue.h>

It breaks with llvm-38:

/usr/ports/security/klee/work/klee-1.4.0/lib/Module/ModuleUtil.cpp:226:44: error: no member named 'getName' in 'llvm::ErrorOr<llvm::object::Archive::Child>'
    ErrorOr<StringRef> memberNameErr = AI->getName();
                                       ~~  ^
/usr/ports/security/klee/work/klee-1.4.0/lib/Module/ModuleUtil.cpp:245:65: error: no member named 'getAsBinary' in 'llvm::ErrorOr<llvm::object::Archive::Child>'
    ErrorOr<std::unique_ptr<llvm::object::Binary> > child = AI->getAsBinary();
                                                            ~~  ^

[MartinNowack]

@yurivict klee-1.4.0 supports LLVM up to 3.6. The master branch supports up to LLVM 3.8.
And we are currently in the process of updating it to LLVM-6 in #894. Have a look at the documentation at klee.github.io.

Next time, please use the mailing list for questions. Thanks in advance!

[yurivict]

Thanks!