[klee-dev] Which LLVM version?

[programmer at nurfuerspam.de]

hey,

The klee website (http://klee.github.io/) still says that klee should be 
compiled with LLVM 3.4, and that compiling with 3.8 is experimental. 
However, the travis configuration 
(https://github.com/klee/klee/blob/master/.travis.yml) shows that it is 
being tested with up to LLVM 7.0.

Is the website outdated, or is travis testing things that are not 
expected to work? It would be nice to know that it is no longer 
necessary to use an old version of LLVM.

Alex