check

smtcomp/main.py

@@ -539,11 +539,11 @@ def read_submission(file: Path) -> defs.Submission:
                 for track, divisions in part.tracks.items():
                     match track:
                         case defs.Track.Incremental:
-                            statuses=[defs.Status.Sat, defs.Status.Unsat]
+                            statuses = [defs.Status.Sat, defs.Status.Unsat]
                         case defs.Track.ModelValidation:
-                            statuses=[defs.Status.Sat]
+                            statuses = [defs.Status.Sat]
                         case defs.Track.SingleQuery:
-                            statuses=[defs.Status.Sat, defs.Status.Unsat]
+                            statuses = [defs.Status.Sat, defs.Status.Unsat]
                         case defs.Track.UnsatCore | defs.Track.ProofExhibition | defs.Track.Cloud | defs.Track.Parallel:
                             continue
                     for _, logics in divisions.items():

smtcomp/test_solver.py

@@ -1,17 +1,19 @@
-#This module is for the test script in the docker image
+# This module is for the test script in the docker image
 # It must use only module from the standard library
 from pathlib import Path
 import shutil
-import subprocess,os
+import subprocess, os
+
+
+def copy_me(dstdir: Path) -> None:
+    shutil.copyfile(src=__file__, dst=dstdir.joinpath("test_solver.py"), follow_symlinks=True)
 
 
-def copy_me(dstdir:Path)-> None:
-    shutil.copyfile(src=__file__,dst=dstdir.joinpath("test_solver.py"),follow_symlinks=True)
-
 def init_test() -> None:
     os.chdir(os.path.dirname(__file__))
-
-def test(cmd:str,args:list[str],file:str) -> None:
-    all=[cmd]+args+[file]
-    print(all,flush=True)
+
+
+def test(cmd: str, args: list[str], file: str) -> None:
+    all = [cmd] + args + [file]
+    print(all, flush=True)
     subprocess.run(all)