style:

misonijnik · Aug 20, 2024 · 6138376 · 6138376
1 parent 8430a13
commit 6138376
Show file tree

Hide file tree

Showing 3 changed files with 2 additions and 3 deletions.
diff --git a/test/Feature/Annotation/General.c b/test/Feature/Annotation/General.c
@@ -24,7 +24,7 @@ void ptrArg(struct ST, int **a);
 int *ptrRet();
 
 int main() {
-  int *a = (int*) 15;
+  int *a = (int *)15;
 #ifdef PTRARG
   struct ST st;
   ptrArg(st, &a);

diff --git a/test/Feature/MockStrategies.c b/test/Feature/MockStrategies.c
@@ -22,8 +22,8 @@
 // CHECK-4: KLEE: done: completed paths = 2
 // CHECK-4: KLEE: done: generated tests = 2
 
-#include <klee/klee.h>
 #include <assert.h>
+#include <klee/klee.h>
 
 extern int foo(int x, int y);
 

diff --git a/unittests/Annotations/AnnotationsTest.cpp b/unittests/Annotations/AnnotationsTest.cpp
@@ -130,7 +130,6 @@ TEST(AnnotationsTest, WithOffsetsSimple) {
   ASSERT_EQ(actual.at("foo").returnStatements[0]->offset, expectedOffset);
 }
 
-
 #if LLVM_VERSION_CODE < LLVM_VERSION(15, 0)
 TEST(AnnotationsTest, WithOffsets) {
   const json j = json::parse(R"(