zhangyiss/spack
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Don't require priority attribute on models.

Browse Source
This commit is contained in:
Todd Gamblin 2023-02-22 10:53:16 -08:00
parent 7e8fb4b8d0
commit 2c7a2fa3e0
No known key found for this signature in database
GPG Key ID: C16729F1AACF66C6
1 changed files with 2 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
lib/spack/spack/solver/asp.py
View File

@ -758,7 +758,8 @@ def visit(node):
cores = [] # unsatisfiable cores if they do not cores = [] # unsatisfiable cores if they do not
def on_model(model): 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 = { solve_kwargs = {
"assumptions": self.assumptions, "assumptions": self.assumptions,
@ -800,8 +801,6 @@ def on_model(model):
depths = extract_functions(best_model, "depth") depths = extract_functions(best_model, "depth")
max_depth = max(d.args[1] for d in depths) max_depth = max(d.args[1] for d in depths)
print("PRIO:", priorities)
result.criteria = build_criteria_names(min_cost, criteria, max_depth) result.criteria = build_criteria_names(min_cost, criteria, max_depth)
# record the number of models the solver considered # record the number of models the solver considered