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
_______________________________________________
klee-dev mailing list
[email protected]
https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
