[klee-dev] Fwd: Issue in Compiling uclibc

[Lynette Son]

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)


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 | lynette.son at sv.cmu.edu | https://www.linkedin.
com/in/lynetteson/
-------------- next part --------------
HTML attachment scrubbed and removed