Fix: issue #64

flamapy · Aug 7, 2024 · 43df87e · 43df87e
1 parent 073dc0f
commit 43df87e
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/flamapy/metamodels/pysat_metamodel/operations/pysat_satisfiable_configuration.py b/flamapy/metamodels/pysat_metamodel/operations/pysat_satisfiable_configuration.py
@@ -53,7 +53,7 @@ def execute(self, model: VariabilityModel) -> 'PySATSatisfiableConfiguration':
             assumptions = []
             for feature in sat_model.features.values():
 
-                if feature in self.configuration.elements.keys():
+                if self.configuration.elements.get(feature, False):
                     assumptions.append(sat_model.variables[feature])
                 else:
                     assumptions.append(-sat_model.variables[feature])