SemGuS-git / Semgus-Parser

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

Non-existent files throw an exception #83

Closed kjcjohnson closed 2 years ago

kjcjohnson commented 2 years ago

If non-existent files are passed as input files, the parser will throw a FileNotFound exception instead of printing a nice error message.