diff --git a/flamapy/metamodels/pysat_metamodel/operations/pysat_satisfiable_configuration.py b/flamapy/metamodels/pysat_metamodel/operations/pysat_satisfiable_configuration.py index a702b7f..af573b4 100644 --- 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])