Hi, you will need to download the svn version and compile KLEE and LLVM in debug mode. If more people would like this, we can also create a CDE package with a debug build, although the main goal of the CDE package is just to quickly try KLEE, and not to do any development work.
Best, Cristian On 15/10/11 14:13, Jango Fett wrote: > Hi, > > How can I get a klee debug build (with -g and without optimizations), > and debug klee with gdb using the CDE distribution? Or do I need to > download and build klee using the "regular" download? > > > Thanks, > Jamm > > > > _______________________________________________ > klee-dev mailing list > klee-dev@keeda.stanford.edu > http://keeda.Stanford.EDU/mailman/listinfo/klee-dev _______________________________________________ klee-dev mailing list klee-dev@keeda.stanford.edu http://keeda.Stanford.EDU/mailman/listinfo/klee-dev