GaloisInc / pate

Patches Assured up to Trace Equivalence

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Standardize the use of term simplification when printing results/errors

danmatichuk opened this issue · comments

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.