diff options
author | Cristian Cadar <cristic@cs.stanford.edu> | 2010-06-21 18:04:13 +0000 |
---|---|---|
committer | Cristian Cadar <cristic@cs.stanford.edu> | 2010-06-21 18:04:13 +0000 |
commit | 8253b1795ba9e4d44e92d5d41151f56ef6be9a18 (patch) | |
tree | 09bea2e5f8d811e6ebe194c085b2c7ec52b69daf /test | |
parent | 40e5e2712ec0165daaeab73cc7c3d35c900a7a8b (diff) | |
download | klee-8253b1795ba9e4d44e92d5d41151f56ef6be9a18.tar.gz |
Applied Stefan Bucur's patch that fixes a non-deterministic bug in the
regression suite (see http://llvm.org/bugs/show_bug.cgi?id=7423) git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@106431 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'test')
-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")); |