From: Mathias Preiner <mathias.preiner@gmail.com>
Date: Tue, 24 Oct 2017 17:51:59 +0000 (-0700)
Subject: New clang-format style based on the Google style. (#1264)
X-Git-Tag: cvc5-1.0.0~5541
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=2c2f12ba12634270f092b8290f815597c48ed39f;p=cvc5.git

New clang-format style based on the Google style. (#1264)
---

diff --git a/.clang-format b/.clang-format
index 4b3f13fa5..485d65f21 100644
--- a/.clang-format
+++ b/.clang-format
@@ -1,5 +1,22 @@
 ---
 Language:        Cpp
 BasedOnStyle:  Google
+AllowShortCaseLabelsOnASingleLine: true
+BinPackArguments: false
+BinPackParameters: false
+BreakBeforeBinaryOperators: NonAssignment
+BraceWrapping:
+  AfterClass: true
+  AfterControlStatement: true
+  AfterEnum: true
+  AfterFunction: true
+  AfterStruct: true
+  AfterUnion: true
+  BeforeCatch: true
+  BeforeElse: true
+  SplitEmptyFunction: false
+  SplitEmptyNamespace: false
+  SplitEmptyRecord: false
+BreakBeforeBraces: Custom
 ...