Hi,
I compiled apache with llvm2.9 and when I am running it with command
klee --libc=uclibc --posix-runtime httpd.bc
It emitting error which says
KLEE: ERROR:
/home/awanish/git/angelix/build/klee-uclibc/libc/inet/socketcalls.c:362:
inline assembly is unsupported
Can anyone please suggest me where I am doing wrong?
--
Thanks and Regards
Awanish Pandey
PhD, CSE
IIT Kanpur
_______________________________________________
klee-dev mailing list
[email protected]
https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
