KLEE: properly enable the POSIX runtime and libc

Open mchalupa opened this issue 7 years ago • 1 comments

Disable linking our runtime and leave it only as a fall-back option.

Needed to fix (not-only) #103.

Dec 07 '18 10:12 mchalupa

There's a problem with 32-bit vs 64-bit build of uclibc. AFAIK there's no way how to tell KLEE that it should use the bitcode with the right architecture.

Nov 11 '19 15:11 mchalupa