`set-info` values not present in sexpr format

SemGuS-git / Semgus-Parser

Library and tool for parsing SemGuS specifications

MIT License

4 stars 1 forks source link

Closed kjcjohnson closed 1 year ago

kjcjohnson commented 1 year ago

Apparently, the sexpr output formatter just eats the values for metadata set by set-info.