[klee-dev] configure llvm question
daniel at zuster.org
Sat Oct 24 17:16:17 PDT 2009
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:
> 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
More information about the klee-dev