From 2c7a2fa3e05a61c9d3721badfa4f49a441ac5c2a Mon Sep 17 00:00:00 2001 From: Todd Gamblin Date: Wed, 22 Feb 2023 10:53:16 -0800 Subject: [PATCH] Don't require `priority` attribute on models. --- lib/spack/spack/solver/asp.py | 5 ++--- 1 file changed, 2 insertions(+), 3 deletions(-) diff --git a/lib/spack/spack/solver/asp.py b/lib/spack/spack/solver/asp.py index bd1527c09a2..3bdb8888f94 100644 --- a/lib/spack/spack/solver/asp.py +++ b/lib/spack/spack/solver/asp.py @@ -758,7 +758,8 @@ def visit(node): cores = [] # unsatisfiable cores if they do not def on_model(model): - models.append((model.cost, model.priority, model.symbols(shown=True, terms=True))) + priorities = getattr(model, "priority", None) + models.append((model.cost, priorities, model.symbols(shown=True, terms=True))) solve_kwargs = { "assumptions": self.assumptions, @@ -800,8 +801,6 @@ def on_model(model): depths = extract_functions(best_model, "depth") max_depth = max(d.args[1] for d in depths) - print("PRIO:", priorities) - result.criteria = build_criteria_names(min_cost, criteria, max_depth) # record the number of models the solver considered