[klee-dev] klee on OSX

[Daniel Dunbar]

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 <sideshowtwig at gmail.com>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
> klee-dev at imperial.ac.uk
> https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
>
-------------- next part --------------
HTML attachment scrubbed and removed