search

SemGuS-git / Semgus-Parser

Library and tool for parsing SemGuS specifications
MIT License
4 stars 1 forks source link

Fix reader failing on comment as last element in list #26

Closed kjcjohnson closed 3 years ago

kjcjohnson commented 3 years ago

Fixes #23. The ReadDelimitedList method is updated to call ReadImpl and handle the sentinels as appropriate.

Also added a unit test for this.