From 85869b575b283f188aad32faacbc588d9290d2ac Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Thu, 2 Oct 2025 20:15:40 -0700
Subject: [PATCH] updated clang format

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 .clang-format | 10 +++++++++-
 1 file changed, 9 insertions(+), 1 deletion(-)

diff --git a/.clang-format b/.clang-format
index c4bbbf1e1..1d7d35dc5 100644
--- a/.clang-format
+++ b/.clang-format
@@ -9,6 +9,7 @@ IndentWidth: 4
 TabWidth: 4
 UseTab: Never
 
+
 # Column width
 ColumnLimit: 120
 
@@ -34,6 +35,8 @@ BraceWrapping:
    AfterControlStatement: false
    AfterNamespace: false
    AfterStruct: false
+   BeforeElse : true
+   AfterCaseLabel: false
 # Spacing
 SpaceAfterCStyleCast: false
 SpaceAfterLogicalNot: false
@@ -42,7 +45,6 @@ SpaceInEmptyParentheses: false
 SpacesInCStyleCastParentheses: false
 SpacesInParentheses: false
 SpacesInSquareBrackets: false
-IndentCaseLabels: false
 
 # Alignment
 AlignConsecutiveAssignments: false
@@ -56,6 +58,7 @@ BinPackArguments: true
 BinPackParameters: true
 BreakBeforeBinaryOperators: None
 BreakBeforeTernaryOperators: true
+# BreakBeforeElse: true
 
 # Includes
 SortIncludes: false  # Z3 has specific include ordering conventions
@@ -63,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