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

10 files changed, 14 insertions, 12 deletions

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) {