Hi Lynette,
I see you're trying to compile uClibc on macOS. Unfortunately, uClibc
does not work on macOS; we need to document this better on the website.
You should use Linux instead if you need uClibc (or KLEE's POSIX model).
Best,
Cristian
On 06/11/2017 16:46, Lynette Son wrote:
Hi,
I've tried to compile uclibc for KLEE.
While I follow the instruction in the README.klee file, I have the
following error.
(README.klee:
https://github.com/ddcc/klee-uclibc/blob/master/README.klee
<https://github.com/ddcc/klee-uclibc/blob/master/README.klee>)
It looks like I have to change the keyword in IntervalMap.h.
I've tried to change the keyword to 'template', but I have other errors.
Do you have any idea to fix this error?
Thanks and Regards,
Lynette
--
*Lynette Son*, MS Candidate '2018
*Carnegie Mellon University Silicon Valley*
(408) 500-2577 <tel:(408)%20500-2577> | [email protected]
<mailto:[email protected]> |https://www.linkedin.com/in/lynetteson/
<https://www.linkedin.com/in/lynetteson/>
_______________________________________________
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
