about summary refs log tree commit diff homepage
diff options
context:
space:
mode:
-rw-r--r--test/regression/2014-07-04-unflushed-error-report.c1
-rw-r--r--test/regression/2015-08-30-empty-constraints.c1
-rw-r--r--test/regression/2015-08-30-sdiv-1.c1
-rw-r--r--test/regression/2017-02-21-pathOS-id.c1
-rw-r--r--test/regression/2017-11-01-test-with-empty-varname.c1
5 files changed, 5 insertions, 0 deletions
diff --git a/test/regression/2014-07-04-unflushed-error-report.c b/test/regression/2014-07-04-unflushed-error-report.c
index 058aef7e..2374d554 100644
--- a/test/regression/2014-07-04-unflushed-error-report.c
+++ b/test/regression/2014-07-04-unflushed-error-report.c
@@ -7,6 +7,7 @@
  * right content.
  */
 #include "klee/klee.h"
+
 int main() {
   unsigned int x = 15;
   unsigned int y;
diff --git a/test/regression/2015-08-30-empty-constraints.c b/test/regression/2015-08-30-empty-constraints.c
index 8598b6ae..b01fee5e 100644
--- a/test/regression/2015-08-30-empty-constraints.c
+++ b/test/regression/2015-08-30-empty-constraints.c
@@ -11,6 +11,7 @@
  * Make sure we are able to generate an input.
  */
 #include "klee/klee.h"
+
 int main() {
   int d;
 
diff --git a/test/regression/2015-08-30-sdiv-1.c b/test/regression/2015-08-30-sdiv-1.c
index 2b819aea..5fa407f3 100644
--- a/test/regression/2015-08-30-sdiv-1.c
+++ b/test/regression/2015-08-30-sdiv-1.c
@@ -9,6 +9,7 @@
  */
 #include "klee/klee.h"
 #include <stdint.h>
+
 int main() {
   int32_t dividend;
   klee_make_symbolic(&dividend, sizeof dividend, "Dividend");
diff --git a/test/regression/2017-02-21-pathOS-id.c b/test/regression/2017-02-21-pathOS-id.c
index 112875de..2430f675 100644
--- a/test/regression/2017-02-21-pathOS-id.c
+++ b/test/regression/2017-02-21-pathOS-id.c
@@ -8,6 +8,7 @@
 
 #include "klee/klee.h"
 #include "stdlib.h"
+
 int main(){
 	int a, b;
 	klee_make_symbolic (&a, sizeof(int), "a");
diff --git a/test/regression/2017-11-01-test-with-empty-varname.c b/test/regression/2017-11-01-test-with-empty-varname.c
index 578043ad..2aa9754e 100644
--- a/test/regression/2017-11-01-test-with-empty-varname.c
+++ b/test/regression/2017-11-01-test-with-empty-varname.c
@@ -3,6 +3,7 @@
 // RUN: %klee --output-dir=%t.klee-out %t1.bc
 // RUN: FileCheck %s --input-file=%t.klee-out/warnings.txt
 #include "klee/klee.h"
+
 int main() {
   unsigned a;