Hi Stefan, I don't understand parts of this patch. It shouldn't be necessary to force KLEE to compile with -std=c++0x?
- Daniel On Fri, Jan 29, 2010 at 10:37 AM, Stefan Bucur <stefan.bucur at epfl.ch> wrote: > Greetings, > > 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. > > Cheers, > Stefan > > _______________________________________________ > klee-dev mailing list > klee-dev at keeda.stanford.edu > http://keeda.Stanford.EDU/mailman/listinfo/klee-dev > >
