Hi Jiri, It builds with trunk for me, what problem are you seeing?
- Daniel On Mon, Sep 7, 2009 at 2:27 AM, Jiri Slaby<jirislaby at gmail.com> wrote: > Hello, > > which llvm revision exactly you build klee against? It doesn't build > against the llvm trunk anymore. Thanks. > _______________________________________________ > klee-dev mailing list > klee-dev at keeda.stanford.edu > http://keeda.Stanford.EDU/mailman/listinfo/klee-dev >
