Fix regressions in regress1 after #4613. (#4616)
[cvc5.git] / .clang-format
1 ---
2 Language: Cpp
3 BasedOnStyle: Google
4 AllowShortCaseLabelsOnASingleLine: true
5 BinPackArguments: false
6 BinPackParameters: false
7 BreakBeforeBinaryOperators: NonAssignment
8 BraceWrapping:
9 AfterCaseLabel: true
10 AfterClass: true
11 AfterControlStatement: true
12 AfterEnum: true
13 AfterFunction: true
14 AfterStruct: true
15 AfterUnion: true
16 BeforeCatch: true
17 BeforeElse: true
18 BreakBeforeBraces: Custom
19 DerivePointerAlignment: false
20 ---
21 Language: Java
22 BasedOnStyle: Google
23 ColumnLimit: 80
24 BinPackArguments: false
25 BinPackParameters: false
26 BreakBeforeBinaryOperators: NonAssignment
27 ...