[proof-new] Fix arity check when building equality engine proofs (#6133)
[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 ...