diff options
| -rw-r--r-- | test/Runtime/Uclibc/Environ.c | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/test/Runtime/Uclibc/Environ.c b/test/Runtime/Uclibc/Environ.c index 63892db5..36db1911 100644 --- a/test/Runtime/Uclibc/Environ.c +++ b/test/Runtime/Uclibc/Environ.c @@ -2,6 +2,8 @@ // RUN: %klee --libc=uclibc --exit-on-error %t1.bc #include <assert.h> +#include <stdlib.h> +#include <stdio.h> int main() { printf("HOME: %s\n", getenv("HOME")); |