Use #include "klee/..." (instead of #include <klee/...>) consistently.

16 files changed, 24 insertions, 18 deletions

diff --git a/test/Feature/ExitOnErrorType.c b/test/Feature/ExitOnErrorType.c
index b1a55466..50696da6 100644
--- a/test/Feature/ExitOnErrorType.c
+++ b/test/Feature/ExitOnErrorType.c
@@ -2,8 +2,9 @@
 // RUN: rm -rf %t.klee-out
 // RUN: %klee --output-dir=%t.klee-out -exit-on-error-type Assert %t1.bc 2>&1
 
+#include "klee/klee.h"
+
 #include <assert.h>
-#include <klee/klee.h>
 
 int main() {
   assert(klee_int("assert"));
diff --git a/test/Feature/RewriteEqualities.c b/test/Feature/RewriteEqualities.c
index ee77f3e1..ed36ce74 100644
--- a/test/Feature/RewriteEqualities.c
+++ b/test/Feature/RewriteEqualities.c
@@ -7,8 +7,9 @@
 // RUN: %klee --output-dir=%t.klee-out --search=dfs --write-kqueries --rewrite-equalities %t.bc
 // RUN: FileCheck -input-file=%t.klee-out/test000003.kquery %s
 
+#include "klee/klee.h"
+
 #include <stdio.h>
-#include <klee/klee.h>
 
 int run(unsigned char * x, unsigned char * y) {
   y[6] = 15;
diff --git a/test/Merging/batching_break.c b/test/Merging/batching_break.c
index 4089c2f5..ac537654 100644
--- a/test/Merging/batching_break.c
+++ b/test/Merging/batching_break.c
@@ -6,7 +6,7 @@
 // CHECK: close merge:
 // CHECK: KLEE: done: generated tests = 3{{$}}
 
-#include <klee/klee.h>
+#include "klee/klee.h"
 
 int main(int argc, char** args){
 
diff --git a/test/Merging/easy_merge.c b/test/Merging/easy_merge.c
index ceee25a1..be77bcb9 100644
--- a/test/Merging/easy_merge.c
+++ b/test/Merging/easy_merge.c
@@ -15,7 +15,8 @@
 // CHECK: close merge:
 // CHECK: close merge:
 // CHECK: generated tests = 2{{$}}
-#include <klee/klee.h>
+
+#include "klee/klee.h"
 
 int main(int argc, char** args){
 
diff --git a/test/Merging/incomplete_merge.c b/test/Merging/incomplete_merge.c
index 87ff37e4..783ab993 100644
--- a/test/Merging/incomplete_merge.c
+++ b/test/Merging/incomplete_merge.c
@@ -21,7 +21,7 @@
 // It might occur that the random branch selection completes the heavy branch first,
 // which results in the branches being merged completely.
 
-#include <klee/klee.h>
+#include "klee/klee.h"
 
 int main(int argc, char **args) {
 
diff --git a/test/Merging/indirect_value.c b/test/Merging/indirect_value.c
index 040a4735..005ddcaf 100644
--- a/test/Merging/indirect_value.c
+++ b/test/Merging/indirect_value.c
@@ -3,10 +3,11 @@
 // RUN: %klee --output-dir=%t.klee-out --use-merge --debug-log-merge --search=nurs:covnew --use-batching-search %t.bc 2>&1 | FileCheck %s
 
 // CHECK: generated tests = 2{{$}}
-#include <stdlib.h>
-#include <stdio.h>
 
-#include <klee/klee.h>
+#include "klee/klee.h"
+
+#include <stdio.h>
+#include <stdlib.h>
 
 int main(int argc, char** argv) {
 
diff --git a/test/Merging/loop_merge.c b/test/Merging/loop_merge.c
index 79d9d70b..49dbbfb4 100644
--- a/test/Merging/loop_merge.c
+++ b/test/Merging/loop_merge.c
@@ -15,7 +15,7 @@
 // CHECK: close merge:
 // CHECK: generated tests = 2{{$}}
 
-#include <klee/klee.h>
+#include "klee/klee.h"
 
 int main(int argc, char** args){
 
diff --git a/test/Merging/merge_fail.c b/test/Merging/merge_fail.c
index 23ddb0d0..8cfd40f0 100644
--- a/test/Merging/merge_fail.c
+++ b/test/Merging/merge_fail.c
@@ -11,7 +11,7 @@
 
 // This test will not merge because we cannot merge states when they allocated memory.
 
-#include <klee/klee.h>
+#include "klee/klee.h"
 
 int main(int argc, char **args) {
 
diff --git a/test/Merging/nested_merge.c b/test/Merging/nested_merge.c
index 97fca5d3..f5f571d4 100644
--- a/test/Merging/nested_merge.c
+++ b/test/Merging/nested_merge.c
@@ -17,7 +17,7 @@
 // CHECK: close merge:
 // CHECK: generated tests = 1{{$}}
 
-#include <klee/klee.h>
+#include "klee/klee.h"
 
 int main(int argc, char **args) {
 
diff --git a/test/Merging/split_merge.c b/test/Merging/split_merge.c
index a138e69a..1f5ebd42 100644
--- a/test/Merging/split_merge.c
+++ b/test/Merging/split_merge.c
@@ -15,7 +15,7 @@
 // CHECK: close merge:
 // CHECK: generated tests = 2{{$}}
 
-#include <klee/klee.h>
+#include "klee/klee.h"
 
 int main(int argc, char** args){
 
diff --git a/test/Merging/state_termination.c b/test/Merging/state_termination.c
index 3fe18760..2bf60f91 100644
--- a/test/Merging/state_termination.c
+++ b/test/Merging/state_termination.c
@@ -2,7 +2,7 @@
 // RUN: rm -rf %t.klee-out
 // RUN: %klee --output-dir=%t.klee-out --use-merge --debug-log-merge --search=dfs  %t.bc 
 
-#include <klee/klee.h>
+#include "klee/klee.h"
 
 int main(int argc, char** args){
 
diff --git a/test/Merging/unexpected_close.c b/test/Merging/unexpected_close.c
index 59ea72dc..c6cf7398 100644
--- a/test/Merging/unexpected_close.c
+++ b/test/Merging/unexpected_close.c
@@ -5,7 +5,7 @@
 // CHECK: ran into a close at
 // CHECK: generated tests = 2{{$}}
 
-#include <klee/klee.h>
+#include "klee/klee.h"
 
 int main(int argc, char **args) {
 
diff --git a/test/regression/2014-09-13-debug-info.c b/test/regression/2014-09-13-debug-info.c
index 39b276a3..5cad27f3 100644
--- a/test/regression/2014-09-13-debug-info.c
+++ b/test/regression/2014-09-13-debug-info.c
@@ -16,7 +16,7 @@
 // CHECK: object 0: int : 32
 // CHECK: object 0: int : 99
 
-#include <klee/klee.h>
+#include "klee/klee.h"
 
 void f0(void) {}
 void f1(void) {}
diff --git a/test/regression/2014-12-08-ashr.c b/test/regression/2014-12-08-ashr.c
index ec7050d7..0d17f964 100644
--- a/test/regression/2014-12-08-ashr.c
+++ b/test/regression/2014-12-08-ashr.c
@@ -2,8 +2,9 @@
 // RUN: rm -rf %t.klee-out
 // RUN: %klee --output-dir=%t.klee-out -exit-on-error %t.bc
 
+#include "klee/klee.h"
+
 #include <assert.h>
-#include <klee/klee.h>
 
 int f1(int a, int b) {
   return a + b;
diff --git a/test/regression/2015-06-22-struct-write.c b/test/regression/2015-06-22-struct-write.c
index 53b04274..67d17032 100644
--- a/test/regression/2015-06-22-struct-write.c
+++ b/test/regression/2015-06-22-struct-write.c
@@ -2,8 +2,9 @@
 // RUN: rm -rf %t.klee-out
 // RUN: %klee --output-dir=%t.klee-out -exit-on-error %t.bc
 
+#include "klee/klee.h"
+
 #include <assert.h>
-#include <klee/klee.h>
 
 union U0 {
 	signed f3 :18;
diff --git a/test/regression/2016-08-06-klee-get-obj-size.c b/test/regression/2016-08-06-klee-get-obj-size.c
index 0e25d1f6..70289e48 100644
--- a/test/regression/2016-08-06-klee-get-obj-size.c
+++ b/test/regression/2016-08-06-klee-get-obj-size.c
@@ -3,8 +3,8 @@
 // RUN: %klee --output-dir=%t.klee-out %t.bc
 // RUN: test -f %t.klee-out/test000001.assert.err
 
+#include "klee/klee.h"
 
-#include <klee/klee.h>
 #include <assert.h>
 
 int main() {