4 files changed, 12 insertions, 0 deletions
diff --git a/test/Feature/AddressOfLabelsSymbolic.c b/test/Feature/AddressOfLabelsSymbolic.c
index 0b24a42d..1097a189 100644
--- a/test/Feature/AddressOfLabelsSymbolic.c
+++ b/test/Feature/AddressOfLabelsSymbolic.c
@@ -4,6 +4,8 @@
 // RUN: FileCheck %s -check-prefix=CHECK-MSG --input-file=%t.log
 // RUN: FileCheck %s -check-prefix=CHECK-ERR --input-file=%t.stderr.log
 
+#include "klee/klee.h"
+
 #include <stdio.h>
 
 int main(void) {
diff --git a/test/Feature/ExprLogging.c b/test/Feature/ExprLogging.c
index 70aaa49b..d892272a 100644
--- a/test/Feature/ExprLogging.c
+++ b/test/Feature/ExprLogging.c
@@ -11,6 +11,8 @@
 // RUN: grep "^; Query" %t.klee-out/all-queries.smt2 | wc -l | grep -q 17
 // RUN: grep "^; Query" %t.klee-out/solver-queries.smt2 | wc -l | grep -q 17
 
+#include "klee/klee.h"
+
 #include <assert.h>
 
 int constantArr[16 ] = {
diff --git a/test/Feature/WithLibc.c b/test/Feature/WithLibc.c
index bb1c66c0..2babbe62 100644
--- a/test/Feature/WithLibc.c
+++ b/test/Feature/WithLibc.c
@@ -4,6 +4,11 @@
 // RUN: echo "good" > %t3.good
 // RUN: diff %t3.log %t3.good
 
+#include "klee/klee.h"
+
+#include <stdio.h>
+#include <string.h>
+
 int main() {
   char buf[4];
   char *s = "foo";
diff --git a/test/Feature/arithmetic-right-overshift-sym-conc.c b/test/Feature/arithmetic-right-overshift-sym-conc.c
index c58f13a1..efe946f2 100644
--- a/test/Feature/arithmetic-right-overshift-sym-conc.c
+++ b/test/Feature/arithmetic-right-overshift-sym-conc.c
@@ -3,6 +3,9 @@
 // RUN: %klee --output-dir=%t.klee-out -use-cex-cache=1 -check-overshift=0 %t.bc
 // RUN: not grep "ASSERTION FAIL" %t.klee-out/messages.txt
 // RUN: grep "KLEE: done: explored paths = 1" %t.klee-out/info
+
+#include "klee/klee.h"
+
 #include <stdio.h>
 #include <assert.h>