Hi Cristian
Great to hear that, looks like that KLEE will be ported to LLVM-3.2 too?
Thanks
Peng
On 12/21/2013 3:08 PM, Cristian Cadar wrote:
Hi Peng, we are shortly going to make public an improved version of
klee-uclibc, which will hopefully fix your problem. I hope this will
happen in the next week.
Best,
Cristian
On 21/12/2013 06:23, Peng Li wrote:
Dear All
Right now, I am using Clang-3.2 to compile the klee-uclibc-0.02-x64, and
I changed the Rules.mak and Rules.mak.llvm to
set $(LLVMGCC) as Clang accordingly, however, I am always encountering
an error shown below:
libc/misc/sysvipc/sem.c:73:26: error: use of undeclared identifier
'IPCOP_semget'
return __syscall_ipc(IPCOP_semget, key, nsems, semflg, NULL);
Do you have any idea on how to fix it?
Thanks and Happy Holiday!
Peng
_______________________________________________
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
_______________________________________________
klee-dev mailing list
[email protected]
https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
