mirror of
https://github.com/Z3Prover/z3
synced 2025-10-04 15:03:57 +00:00
update clang format
This commit is contained in:
parent
72c89e1a4e
commit
5d8fcaa3ee
1 changed files with 7 additions and 1 deletions
|
@ -8,7 +8,7 @@ BasedOnStyle: LLVM
|
|||
IndentWidth: 4
|
||||
TabWidth: 4
|
||||
UseTab: Never
|
||||
IndentCaseLabels: false
|
||||
|
||||
|
||||
# Column width
|
||||
ColumnLimit: 120
|
||||
|
@ -36,6 +36,7 @@ BraceWrapping:
|
|||
AfterNamespace: false
|
||||
AfterStruct: false
|
||||
BeforeElse : true
|
||||
AfterCaseLabel: false
|
||||
# Spacing
|
||||
SpaceAfterCStyleCast: false
|
||||
SpaceAfterLogicalNot: false
|
||||
|
@ -65,6 +66,11 @@ SortIncludes: false # Z3 has specific include ordering conventions
|
|||
# Namespaces
|
||||
NamespaceIndentation: All
|
||||
|
||||
# Switch statements
|
||||
IndentCaseLabels: false
|
||||
AllowShortCaseLabelsOnASingleLine: true
|
||||
IndentCaseBlocks: false
|
||||
|
||||
# Comments and documentation
|
||||
ReflowComments: true
|
||||
SpacesBeforeTrailingComments: 2
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue