Bare minimum support for `metadata`, i.e. ignoring it

SemGuS-git / Semgus-Parser

Library and tool for parsing SemGuS specifications

MIT License

4 stars 1 forks source link

Closed kjcjohnson closed 3 years ago

kjcjohnson commented 3 years ago

This pull request adds support for the metadata command as specified in https://github.com/SemGuS-git/Semgus-Lang/issues/19.

We implement the bare minimum to be compliant for now: just parsing and ignoring it.