flake8 fixes

ADA-research · Jan 10, 2025 · 851eba9 · 851eba9
1 parent fe493d9
commit 851eba9
Show file tree

Hide file tree

Showing 2 changed files with 7 additions and 4 deletions.
diff --git a/sparkle/tools/solver_wrapper_parsing.py b/sparkle/tools/solver_wrapper_parsing.py
@@ -48,7 +48,9 @@ def parse_solver_wrapper_args(args: list[str]) -> dict[Any]:
     return args_dict
 
 
-def get_solver_call_params(args_dict: dict, prefix: str = "-", postfix: str = " ") -> list[str]:
+def get_solver_call_params(args_dict: dict,
+                           prefix: str = "-",
+                           postfix: str = " ") -> list[str]:
     """Gather the additional parameters for the solver call.
 
     Args:
@@ -69,4 +71,4 @@ def get_solver_call_params(args_dict: dict, prefix: str = "-", postfix: str = "
             else:
                 params.extend([prefix + str(key) + postfix + str(args_dict[key])])
 
-    return params
+    return params
diff --git a/sparkle/types/status.py b/sparkle/types/status.py
@@ -4,7 +4,7 @@
 
 
 class SolverStatus(str, Enum):
-    """Possible return states for solver runs."""    
+    """Possible return states for solver runs."""
     SUCCESS = "SUCCESS"  # Positive status
     UNKNOWN = "UNKNOWN"  # Semi positive status
     SAT = "SAT"  # SAT specific positive status
@@ -17,5 +17,6 @@ class SolverStatus(str, Enum):
     ERROR = "ERROR"
     KILLED = "KILLED"
 
-    def __str__(self):
+    def __str__(self: SolverStatus) -> str:
+        """Return the string value of the SolverStatus."""
         return str(self.value)