Blackify.

SMT-COMP · Jun 12, 2024 · 3da485d · 3da485d
1 parent dc399c0
commit 3da485d
Showing 1 changed file with 7 additions and 1 deletion.
diff --git a/smtcomp/main.py b/smtcomp/main.py
@@ -611,7 +611,13 @@ def read_submission(file: Path) -> defs.Submission:
                             statuses = [defs.Status.Sat]
                         case defs.Track.SingleQuery:
                             statuses = [defs.Status.Sat, defs.Status.Unsat]
-                        case defs.Track.Incremental | defs.Track.UnsatCore | defs.Track.ProofExhibition | defs.Track.Cloud | defs.Track.Parallel:
+                        case (
+                            defs.Track.Incremental
+                            | defs.Track.UnsatCore
+                            | defs.Track.ProofExhibition
+                            | defs.Track.Cloud
+                            | defs.Track.Parallel
+                        ):
                             continue
                     for _, logics in divisions.items():
                         for logic in logics: