Unfortunately, this would require dropping support for LLVM 2.9. Could you please send me a quick message if you are still relying on it?
Best, Cristian On 17/12/2015 18:13, Dan Liew wrote: > Hi, > > Just a heads up for anyone not following KLEE's issue tracker [1]. We > will soon be requiring a C++11 capable compiler to build KLEE. This is > kind of already a requirement because STP requires C++11 so this > shouldn't really be much of a shock. > > I'm just waiting for the tests for [2] to pass and then this change > will be merged. > > [1] https://github.com/klee/klee/issues > [2] https://github.com/klee/klee/pull/317 > > Thanks, > Dan. > > _______________________________________________ > klee-dev mailing list > klee-dev@imperial.ac.uk > https://mailman.ic.ac.uk/mailman/listinfo/klee-dev > _______________________________________________ klee-dev mailing list klee-dev@imperial.ac.uk https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
