On Fri, Mar 19, 2010 at 8:54 AM, Cristian Cadar <c.cadar at imperial.ac.uk> wrote: > > 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.
Hmm, ok. I guess I messed something up, and a lot of debug info stuff changed in the 2.7 time frame. I will take a look. - Daniel > 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 >
