Add option for term annotations in s-expression format

SemGuS-git / Semgus-Parser

Library and tool for parsing SemGuS specifications

MIT License

4 stars 1 forks source link

Add option for term annotations in s-expression format #118

Closed kjcjohnson closed 7 months ago

kjcjohnson commented 7 months ago

Fixes #117. We now optionally wrap terms with annotations in an (annotations <term> &rest key value) block if the --term-annotations flag is set and the term is actually annotated.