From dbb36dbbf1edfaa77647161db1ad5935c6d78fcc Mon Sep 17 00:00:00 2001 From: Kayla Butler Date: Tue, 7 Nov 2023 12:32:00 -0800 Subject: [PATCH] Change method name --- lib/spack/spack/solver/asp.py | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/lib/spack/spack/solver/asp.py b/lib/spack/spack/solver/asp.py index 6693678d9f6..6ebeb320bcd 100644 --- a/lib/spack/spack/solver/asp.py +++ b/lib/spack/spack/solver/asp.py @@ -863,10 +863,11 @@ def visit(node): if not setup.concretize_everything: self.control.load(os.path.join(parent_dir, "when_possible.lp")) + tty.debug(f"Pyclingodriver attrs: {self.__dir__()}") has_propagation = False for spec in specs: for dep in spec.traverse(root=True): - has_propagation |= self._compiler_flag_has_propagation(dep.compiler_flags) + has_propagation |= self._compiler_flags_has_propagation(dep.compiler_flags) if has_propagation: self.control.load(os.path.join(parent_dir, "propagation.lp")) @@ -978,7 +979,7 @@ def _model_has_cycles(self, models): return cycle_result.unsatisfiable - def _compiler_flag_has_propagation(self, flags): + def _compiler_flags_has_propagation(self, flags): for _, flag_vals in flags.items(): if any(val.propagate for val in flag_vals): return True