SemGuS-git / Semgus-Parser

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

Check for input file existence (and exception handling) #85

Closed kjcjohnson closed 2 years ago

kjcjohnson commented 2 years ago

Fixes #83. We now validate that all input files exist before parsing anything and print an error. We also wrap the parser call in an exception handler for any other I/O exceptions that might happen.

We still don't catch other exceptions at the top level, because I want them to be noisy so I can fix whatever is going on.