Standardize the use of term simplification when printing results/errors #315
Labels
presentation
Related to making verifier output understandable
stale
Review - close as 'wontfix' or integrate into other ticket
Currently there is somewhat ad-hoc usage of term simplification when raising exceptions or reporting results. It would be good to wrap this up in one place.
The text was updated successfully, but these errors were encountered: