Add a few comments to ProofManager (#3477)
[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 AfterClass: true
10 AfterControlStatement: true
11 AfterEnum: true
12 AfterFunction: true
13 AfterStruct: true
14 AfterUnion: true
15 BeforeCatch: true
16 BeforeElse: true
17 BreakBeforeBraces: Custom
18 DerivePointerAlignment: false
19 ---
20 Language: Java
21 BasedOnStyle: Google
22 ColumnLimit: 80
23 BinPackArguments: false
24 BinPackParameters: false
25 BreakBeforeBinaryOperators: NonAssignment
26 ...