[klee-dev] llvm revision to build against

[Jiri Slaby]

Hello,

which llvm revision exactly you build klee against? It doesn't build
against the llvm trunk anymore. Thanks.