[klee-dev] Warning: Switching to C++11 soon

[Dan Liew]

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.