Added clang-format file

Boolector · May 4, 2018 · bb1a6c6 · bb1a6c6
1 parent 1108cc8
commit bb1a6c6
Showing 1 changed file with 23 additions and 0 deletions.
diff --git a/.clang-format b/.clang-format
@@ -0,0 +1,23 @@
+---
+Language: Cpp
+BasedOnStyle: Google
+SpaceAfterCStyleCast: true
+AlignConsecutiveAssignments: true
+AllowShortCaseLabelsOnASingleLine: true
+AlwaysBreakAfterReturnType: TopLevelDefinitions
+BinPackArguments: false
+BinPackParameters: false
+BreakBeforeBinaryOperators: NonAssignment
+BraceWrapping:
+  AfterClass: true
+  AfterControlStatement: true
+  AfterEnum: true
+  AfterFunction: true
+  AfterStruct: true
+  AfterUnion: true
+  BeforeCatch: true
+  BeforeElse: true
+BreakBeforeBraces: Custom
+CommentPragmas: '^\w*(:param|:return|\.\. note)'
+SpaceBeforeParens: Always
+...