lint

Author: GermanMT

app/utils/smt/operations/filter_configs.py

@@ -1,6 +1,6 @@
 from fastapi import status
 from fastapi.responses import JSONResponse
-from z3 import And, Or, Solver, sat, unknown, AstVector
+from z3 import And, AstVector, Or, Solver, sat, unknown
 
 from app.utils import json_encoder
 from app.utils.smt.config_sanitizer import config_sanitizer
@@ -16,7 +16,7 @@ async def execute_filter_configs(model: SMTModel, max_threshold: float, min_thre
     result = []
     solver.set("timeout", 3000)
     domain_parts = list(model.domain) if isinstance(model.domain, AstVector) else [model.domain]
-    expr = And(*(domain_parts + [max_ctc, min_ctc]))
+    expr = And([*domain_parts, max_ctc, min_ctc])
     solver.add(expr)
     while len(result) < limit and solver.check() == sat:
         config = solver.model()