From 43df87e41cef9f13bfbae3b58a982ec1df10b2d2 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Jos=C3=A9=20Miguel=20Horcas?= Date: Wed, 7 Aug 2024 11:08:18 +0200 Subject: [PATCH] Fix: issue #64 --- .../operations/pysat_satisfiable_configuration.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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])