Hi Daniel, After pulling these changes, I don't get debug info anymore. In particular, WriteCov and StaticDestructor (which rely on debug info) fail. I tested this on a Ubuntu x86_64 machine.
Thanks, Cristian On 14/03/10 05:36, Daniel Dunbar wrote: > Hi, > > I just checked in a patch for building KLEE with LLVM 2.7. I have > tested it on Linux x86_32 with LLVM 2.6 and 2.7 and on Darwin x86_32 > and x86_64. I'd appreciate it if someone can test it on Linux x86_64. > > Please let me know of any problems. > > - Daniel > _______________________________________________ > klee-dev mailing list > klee-dev at keeda.stanford.edu > http://keeda.Stanford.EDU/mailman/listinfo/klee-dev
