diff --git a/sparkle/tools/solver_wrapper_parsing.py b/sparkle/tools/solver_wrapper_parsing.py index 3e405a87..d7f79b9b 100644 --- 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 \ No newline at end of file + return params diff --git a/sparkle/types/status.py b/sparkle/types/status.py index 206d7cec..1b6d5c82 100644 --- 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)