Hi Bill, You should be able to build and run KLEE on OS X fine (and I have done so in the past), but you cannot generally build applications that use the system SDK and run them with KLEE without setting up a cross compile environment.
- Daniel On Wed, Jan 23, 2013 at 1:01 PM, Bill Terwilliger <[email protected]>wrote: > Has anyone had success running klee on osx? I see that it isn't listed as > a "supported" platform but it seems like all of the dependent software > should compile on osx. > > Best regards, > Bill Terwilliger > _______________________________________________ > klee-dev mailing list > [email protected] > https://mailman.ic.ac.uk/mailman/listinfo/klee-dev >
_______________________________________________ klee-dev mailing list [email protected] https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
