From 9336cd28f6e58c2f9bc01ec3dbf3930688ad0287 Mon Sep 17 00:00:00 2001
From: MartinNowack <2443641+MartinNowack@users.noreply.github.com>
Date: Mon, 5 Feb 2024 10:22:34 +0000
Subject: Add space between include and main function for updated test cases

Co-authored-by: Daniel Schemmel <danielschemmel@users.noreply.github.com>
(cherry picked from commit 1ea1a7576300a4da01d925df42db109660ef54d2)
---
 test/regression/2014-07-04-unflushed-error-report.c  | 1 +
 test/regression/2015-08-30-empty-constraints.c       | 1 +
 test/regression/2015-08-30-sdiv-1.c                  | 1 +
 test/regression/2017-02-21-pathOS-id.c               | 1 +
 test/regression/2017-11-01-test-with-empty-varname.c | 1 +
 5 files changed, 5 insertions(+)

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;
 
-- 
cgit 1.4.1