Skip to content

Commit

Permalink
Fix: False-optional feature returns now str, not feature
Browse files Browse the repository at this point in the history
  • Loading branch information
jmhorcas committed Oct 4, 2024
1 parent d77446e commit 66d09e1
Showing 1 changed file with 1 addition and 1 deletion.
Original file line number Diff line number Diff line change
Expand Up @@ -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

0 comments on commit 66d09e1

Please sign in to comment.