about summary refs log tree commit diff homepage
path: root/test
diff options
context:
space:
mode:
authorMartin Nowack <martin@se.inf.tu-dresden.de>2014-02-06 11:38:25 +0100
committerCristian Cadar <c.cadar@imperial.ac.uk>2015-04-01 15:13:19 +0100
commit388b52bcf283022733c4160b448a92ab54f02472 (patch)
treef1a0f4b147f1bea03855c3ada9b7aaf7c8d26a10 /test
parentdb29a0bba74b672cdf4b8fef4d94ffa6ab845e6d (diff)
downloadklee-388b52bcf283022733c4160b448a92ab54f02472.tar.gz
[tests] Fix undefined function
Add some missing header to silence
compiler warnings
Diffstat (limited to 'test')
-rw-r--r--test/Runtime/Uclibc/2007-10-08-optimization-calls-wrong-libc-functions.c4
1 files changed, 3 insertions, 1 deletions
diff --git a/test/Runtime/Uclibc/2007-10-08-optimization-calls-wrong-libc-functions.c b/test/Runtime/Uclibc/2007-10-08-optimization-calls-wrong-libc-functions.c
index 71f6d07a..d82f0eb9 100644
--- a/test/Runtime/Uclibc/2007-10-08-optimization-calls-wrong-libc-functions.c
+++ b/test/Runtime/Uclibc/2007-10-08-optimization-calls-wrong-libc-functions.c
@@ -5,10 +5,12 @@
 #include <string.h>
 #include <assert.h>
 
+#include "klee/klee.h"
+
 int main() {
   int a;
 
-  klee_make_symbolic(&a, sizeof a);
+  klee_make_symbolic(&a, sizeof a, "a");
 
   memset(&a, 0, sizeof a);