Reinstantiate support for conjunctions in facts (#4377)

[cvc5.git] / .clang-format

diff --git a/.clang-format b/.clang-format
index 4b3f13fa55e123778ee7fcef26752ca6fbe5ba89..a4e83f330308469868e993dfbddd3791777551ee 100644 (file)
--- a/.clang-format
+++ b/.clang-format
@@ -1,5 +1,27 @@
 ---
 Language:        Cpp
 BasedOnStyle:  Google
+AllowShortCaseLabelsOnASingleLine: true
+BinPackArguments: false
+BinPackParameters: false
+BreakBeforeBinaryOperators: NonAssignment
+BraceWrapping:
+  AfterCaseLabel: true
+  AfterClass: true
+  AfterControlStatement: true
+  AfterEnum: true
+  AfterFunction: true
+  AfterStruct: true
+  AfterUnion: true
+  BeforeCatch: true
+  BeforeElse: true
+BreakBeforeBraces: Custom
+DerivePointerAlignment: false
+---
+Language: Java
+BasedOnStyle:  Google
+ColumnLimit: 80
+BinPackArguments: false
+BinPackParameters: false
+BreakBeforeBinaryOperators: NonAssignment
 ...
-