diff options
| author | Dan Liew <daniel.liew@imperial.ac.uk> | 2013-11-05 11:44:51 +0000 |
|---|---|---|
| committer | Dan Liew <daniel.liew@imperial.ac.uk> | 2013-11-05 22:11:18 +0000 |
| commit | 23225879b4e36c7926bc86dc22b4a6690fd0df4e (patch) | |
| tree | c41acf9630c464b29a8ed8ea4946499296f45715 /test/Feature/MultipleWriteResolution.c | |
| parent | a8dbdafd32483da1f2aff3852a405c2cef9753f9 (diff) | |
| download | klee-23225879b4e36c7926bc86dc22b4a6690fd0df4e.tar.gz | |
Exit if using --libc=uclibc and KLEE was not configured with uclibc
or if the configured path does not exist.
Previously if KLEE was configured and compiled without uclibc linking
would still succeed because KLEE_UCLIBC was blank so LLVM was
effectively asked to link with "/lib/libc.a" i.e. the system's native
C library!
Diffstat (limited to 'test/Feature/MultipleWriteResolution.c')
0 files changed, 0 insertions, 0 deletions