[klee-dev] Klee Patch for Compiling on Ubuntu 9.10
daniel at zuster.org
Wed Feb 10 18:03:55 PST 2010
I don't understand parts of this patch. It shouldn't be necessary to
force KLEE to compile with -std=c++0x?
On Fri, Jan 29, 2010 at 10:37 AM, Stefan Bucur <stefan.bucur at epfl.ch> wrote:
> As I had some issues during Klee compilation process on Ubuntu 9.10,
> I'm attaching in this message the patch with the modifications
> required to make it work on this platform. It should work both on x86
> and x86_64 architectures.
> klee-dev mailing list
> klee-dev at keeda.stanford.edu
More information about the klee-dev