candidate.long_spec in error when concrete spec does not satisfy abstract

Signed-off-by: Gregory Becker <becker33@llnl.gov>
This commit is contained in:
Gregory Becker 2025-05-12 14:12:47 -07:00
parent 462379b92f
commit 79610ce80e
No known key found for this signature in database
GPG Key ID: 2362541F6D14ED84

View File

@ -572,7 +572,7 @@ def format_unsolved(unsolved_specs):
for input_spec, candidate in unsolved_specs: for input_spec, candidate in unsolved_specs:
msg += f"\n\tInput spec: {str(input_spec)}" msg += f"\n\tInput spec: {str(input_spec)}"
if candidate: if candidate:
msg += f"\n\tCandidate spec: {str(candidate)}" msg += f"\n\tCandidate spec: {candidate.long_spec}"
else: else:
msg += "\n\t(No candidate specs from solver)" msg += "\n\t(No candidate specs from solver)"
return msg return msg