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 | [email protected] | https://www.linkedin. com/in/lynetteson/
_______________________________________________ klee-dev mailing list [email protected] https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
