I have updated klee to work with LLVM 2.6, that is now the recommended LLVM version to use klee with.
On Tue, Oct 20, 2009 at 8:32 PM, ziying dai <nudtdzy at gmail.com> wrote: > hello, > I follow the instructions on Getting Started page, but encounter problems > when configure llvm. what is the version of this llvm? are there any special > requirements to configure it? > _______________________________________________ > klee-dev mailing list > klee-dev at keeda.stanford.edu > http://keeda.Stanford.EDU/mailman/listinfo/klee-dev > >
