From 66d09e19c45035db5bb1821228693e8c206538f8 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Jos=C3=A9=20Miguel=20Horcas?= Date: Fri, 4 Oct 2024 16:21:08 +0200 Subject: [PATCH] Fix: False-optional feature returns now str, not feature --- .../pysat_metamodel/operations/pysat_false_optional_features.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/flamapy/metamodels/pysat_metamodel/operations/pysat_false_optional_features.py b/flamapy/metamodels/pysat_metamodel/operations/pysat_false_optional_features.py index 423bc4d..7021a6b 100644 --- a/flamapy/metamodels/pysat_metamodel/operations/pysat_false_optional_features.py +++ b/flamapy/metamodels/pysat_metamodel/operations/pysat_false_optional_features.py @@ -52,6 +52,6 @@ def _get_false_optional_features(self, sat_model: PySATModel) -> list[Any]: assert variable is not None satisfiable = self.solver.solve(assumptions=[parent_variable, -variable]) if not satisfiable: - result.append(feature) + result.append(feature.name) self.solver.delete() return result