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