On Thu, Apr 8, 2010 at 7:54 AM, Wenbin Zhang <zhangwen at cse.ohio-state.edu> wrote: > Hi all, > > I?m new to KLEE and trying to install it now. > > The online instruction says that the support for x84-64 is still undergoing. > Does it mean I ?d better choose a x86-32 1?
No, the instructions are out of date. x86-64 should work pretty well, and that's what a number of people are using. And since KLEE is very memory hungry, that's probably the way of the future. - Daniel > > Thanks. > > > > Best, > > --Wenbin > > _______________________________________________ > klee-dev mailing list > klee-dev at keeda.stanford.edu > http://keeda.Stanford.EDU/mailman/listinfo/klee-dev > >
